Universal Approximation with Certified Networks.

Maximilian Baader, Matthew Mirman, Martin T. Vechev

Browse the full ICLR paper archive.