Universal Approximation with Certified Networks

Universal Approximation with Certified Networks

30 September 2019

Maximilian Baader

Martin Vechev

Papers citing "Universal Approximation with Certified Networks"

5 / 5 papers shown

Title
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 32 6 0 09 Dec 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 46 55 0 06 Apr 2021
On the Paradox of Certified Training Nikola Jovanović Mislav Balunović Maximilian Baader Martin Vechev OOD 28 13 0 12 Feb 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo Li AAML 38 128 0 09 Sep 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017