TY  - RPRT
TI  - Universal Approximation with Certified Networks
AU  - Maximilian Baader
AU  - Matthew Mirman
AU  - Martin Vechev
PY  - 2020
UR  - https://arxiv.org/abs/1909.13846
ID  - 1909.13846
ER  -