Measuring Neural Net Robustness with Constraints

Measuring Neural Net Robustness with Constraints

24 May 2016

Yani Andrew Ioannou

Leonidas Lampropoulos

Dimitrios Vytiniotis

Papers citing "Measuring Neural Net Robustness with Constraints"

12 / 62 papers shown

Title
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections Xin Zhang Armando Solar-Lezama Rishabh Singh FAtt 19 63 0 21 Feb 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 52 117 0 20 Nov 2017
Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation Matthias Hein Maksym Andriushchenko AAML 45 505 0 23 May 2017
Adversarial Examples Are Not Easily Detected: Bypassing Ten Detection Methods Nicholas Carlini D. Wagner AAML 11 1,842 0 20 May 2017
DeepXplore: Automated Whitebox Testing of Deep Learning Systems Kexin Pei Yinzhi Cao Junfeng Yang Suman Jana AAML 39 1,352 0 18 May 2017
Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng Georg Nührenberg Harald Ruess AAML 22 280 0 28 Apr 2017
The Space of Transferable Adversarial Examples Florian Tramèr Nicolas Papernot Ian Goodfellow Dan Boneh Patrick McDaniel AAML SILM 30 554 0 11 Apr 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Learning Adversary-Resistant Deep Neural Networks Qinglong Wang Wenbo Guo Kaixuan Zhang Alexander Ororbia Masashi Sugiyama Xue Liu C. Lee Giles AAML 16 43 0 05 Dec 2016
Universal adversarial perturbations Seyed-Mohsen Moosavi-Dezfooli Alhussein Fawzi Omar Fawzi P. Frossard AAML 24 2,509 0 26 Oct 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016
Towards Evaluating the Robustness of Neural Networks Nicholas Carlini D. Wagner OOD AAML 29 8,440 0 16 Aug 2016