%0 Conference Paper %1 conf/iclr/BaaderMV20 %A Baader, Maximilian %A Mirman, Matthew %A Vechev, Martin T. %B ICLR %D 2020 %I OpenReview.net %K dblp %T Universal Approximation with Certified Networks. %U http://dblp.uni-trier.de/db/conf/iclr/iclr2020.html#BaaderMV20

@inproceedings{conf/iclr/BaaderMV20, added-at = {2020-05-07T00:00:00.000+0200}, author = {Baader, Maximilian and Mirman, Matthew and Vechev, Martin T.}, biburl = {https://www.bibsonomy.org/bibtex/28564fac115f8b431442cc958be52e9a5/dblp}, booktitle = {ICLR}, crossref = {conf/iclr/2020}, ee = {https://openreview.net/forum?id=B1gX8kBtPr}, interhash = {1da72255248f23d59e7dcf631a20f6e1}, intrahash = {8564fac115f8b431442cc958be52e9a5}, keywords = {dblp}, publisher = {OpenReview.net}, timestamp = {2020-05-08T11:42:22.000+0200}, title = {Universal Approximation with Certified Networks.}, url = {http://dblp.uni-trier.de/db/conf/iclr/iclr2020.html#BaaderMV20}, year = 2020 }