@article{generalizeduniversalapproximationfor,
  title = {Generalized Universal Approximation for Certified Networks},
  author = {Zi Wang and Aws Albarghouthi and Somesh Jha},
  year = {2021},
  url = {https://openreview.net/forum?id=-DRft_lKDqo},
}