Maximilian Baader, Matthew Mirman, Martin T. Vechev. Universal Approximation with Certified Networks. In 8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020. OpenReview.net, 2020. [doi]
Abstract is missing.