Measuring Neural Net Robustness with Constraints

24 May 2016

Osbert Bastani

Yani Andrew Ioannou

Leonidas Lampropoulos

Papers citing "Measuring Neural Net Robustness with Constraints"

27 / 77 papers shown

Title
Optimization Problems for Machine Learning: A Survey Claudio Gambella Bissan Ghaddar Joe Naoum-Sawaya AI4CE 40 178 0 16 Jan 2019
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 30 251 0 20 Nov 2018
Evading classifiers in discrete domains with provable optimality guarantees B. Kulynych Jamie Hayes N. Samarin Carmela Troncoso AAML 21 19 0 25 Oct 2018
On Extensions of CLEVER: A Neural Network Robustness Evaluation Algorithm Tsui-Wei Weng Huan Zhang Pin-Yu Chen A. Lozano Cho-Jui Hsieh Luca Daniel 28 10 0 19 Oct 2018
Provable Robustness of ReLU networks via Maximization of Linear Regions Francesco Croce Maksym Andriushchenko Matthias Hein 34 166 0 17 Oct 2018
Empirical Bounds on Linear Regions of Deep Rectifier Networks Thiago Serra Srikumar Ramalingam 10 42 0 08 Oct 2018
Motivating the Rules of the Game for Adversarial Example Research Justin Gilmer Ryan P. Adams Ian Goodfellow David G. Andersen George E. Dahl AAML 50 226 0 18 Jul 2018
Monge blunts Bayes: Hardness Results for Adversarial Training Zac Cranko A. Menon Richard Nock Cheng Soon Ong Zhan Shi Christian J. Walder AAML 34 17 0 08 Jun 2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives Francesco Leofante Nina Narodytska Luca Pulina A. Tacchella AAML 28 69 0 25 May 2018
Verifiable Reinforcement Learning via Policy Extraction Osbert Bastani Yewen Pu Armando Solar-Lezama OffRL 28 329 0 22 May 2018
The Effects of JPEG and JPEG2000 Compression on Attacks using Adversarial Examples Ayse Elvan Aydemir A. Temi̇zel T. Taşkaya-Temizel AAML 22 30 0 28 Mar 2018
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections Xin Zhang Armando Solar-Lezama Rishabh Singh FAtt 27 63 0 21 Feb 2018
Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach Tsui-Wei Weng Huan Zhang Pin-Yu Chen Jinfeng Yi D. Su Yupeng Gao Cho-Jui Hsieh Luca Daniel AAML 25 464 0 31 Jan 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 52 117 0 20 Nov 2017
A Unified View of Piecewise Linear Neural Network Verification Rudy Bunel Ilker Turkaslan Philip Torr Pushmeet Kohli M. P. Kumar AAML 29 73 0 01 Nov 2017
Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation Matthias Hein Maksym Andriushchenko AAML 45 506 0 23 May 2017
Adversarial Examples Are Not Easily Detected: Bypassing Ten Detection Methods Nicholas Carlini D. Wagner AAML 61 1,842 0 20 May 2017
MTDeep: Boosting the Security of Deep Neural Nets Against Adversarial Attacks with Moving Target Defense Sailik Sengupta Tathagata Chakraborti S. Kambhampati AAML 29 63 0 19 May 2017
DeepXplore: Automated Whitebox Testing of Deep Learning Systems Kexin Pei Yinzhi Cao Junfeng Yang Suman Jana AAML 48 1,353 0 18 May 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 26 622 0 03 May 2017
Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng Georg Nührenberg Harald Ruess AAML 44 281 0 28 Apr 2017
The Space of Transferable Adversarial Examples Florian Tramèr Nicolas Papernot Ian Goodfellow Dan Boneh Patrick McDaniel AAML SILM 41 555 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 251 1,842 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 23 43 0 05 Dec 2016
Universal adversarial perturbations Seyed-Mohsen Moosavi-Dezfooli Alhussein Fawzi Omar Fawzi P. Frossard AAML 83 2,513 0 26 Oct 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016
Towards Evaluating the Robustness of Neural Networks Nicholas Carlini D. Wagner OOD AAML 107 8,465 0 16 Aug 2016