Scaling provable adversarial defenses

Scaling provable adversarial defenses

31 May 2018

Frank R. Schmidt

J. Zico Kolter

Papers citing "Scaling provable adversarial defenses"

15 / 115 papers shown

Title
The Limitations of Adversarial Training and the Blind-Spot Attack Huan Zhang Hongge Chen Zhao Song Duane S. Boning Inderjit S. Dhillon Cho-Jui Hsieh AAML 22 144 0 15 Jan 2019
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 24 251 0 20 Nov 2018
Scalable agent alignment via reward modeling: a research direction Jan Leike David M. Krueger Tom Everitt Miljan Martic Vishal Maini Shane Legg 34 397 0 19 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou Mohsen Guizani AAML 27 23 0 06 Nov 2018
Logit Pairing Methods Can Fool Gradient-Based Attacks Marius Mosbach Maksym Andriushchenko T. A. Trost Matthias Hein Dietrich Klakow AAML 33 82 0 29 Oct 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
Provable Robustness of ReLU networks via Maximization of Linear Regions Francesco Croce Maksym Andriushchenko Matthias Hein 34 166 0 17 Oct 2018
Certified Adversarial Robustness with Additive Noise Bai Li Changyou Chen Wenlin Wang Lawrence Carin AAML 28 341 0 10 Sep 2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Y. Xiao Vincent Tjeng Nur Muhammad (Mahi) Shafiullah A. Madry AAML OOD 12 199 0 09 Sep 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
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees Min Wu Matthew Wicker Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 19 111 0 10 Jul 2018
L2-Nonexpansive Neural Networks Haifeng Qian M. Wegman 25 74 0 22 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
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 298 3,115 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016