Towards Proving the Adversarial Robustness of Deep Neural Networks

Towards Proving the Adversarial Robustness of Deep Neural Networks

8 September 2017

Clark W. Barrett

Mykel J. Kochenderfer

Papers citing "Towards Proving the Adversarial Robustness of Deep Neural Networks"

9 / 9 papers shown

Title
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 66 1 0 27 May 2024
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 94 124 0 31 Oct 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 290 1,849 0 03 Feb 2017
Towards Evaluating the Robustness of Neural Networks Nicholas Carlini D. Wagner OOD AAML 170 8,513 0 16 Aug 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 494 5,878 0 08 Jul 2016
Measuring Neural Net Robustness with Constraints Osbert Bastani Yani Andrew Ioannou Leonidas Lampropoulos Dimitrios Vytiniotis A. Nori A. Criminisi AAML 50 423 0 24 May 2016
End to End Learning for Self-Driving Cars Mariusz Bojarski D. Testa Daniel Dworakowski Bernhard Firner B. Flepp ... Urs Muller Jiakai Zhang Xin Zhang Jake Zhao Karol Zieba SSL 52 4,153 0 25 Apr 2016
Explaining and Harnessing Adversarial Examples Ian Goodfellow Jonathon Shlens Christian Szegedy AAML GAN 176 18,922 0 20 Dec 2014
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 185 14,831 1 21 Dec 2013