v1v2 (latest)

Scaling provable adversarial defenses

31 May 2018

J. Zico Kolter

ArXiv (abs)PDF HTML Github (387★)

Papers citing "Scaling provable adversarial defenses"

23 / 273 papers shown

Title
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 187 259 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 124 420 0 19 Nov 2018
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems Chih-Hong Cheng Chung-Hao Huang Georg Nührenberg 67 11 0 16 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou Mohsen Guizani AAML 43 23 0 06 Nov 2018
Semidefinite relaxations for certifying robustness to adversarial examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 111 439 0 02 Nov 2018
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Chongli Qin J. Uesato Relja Arandjelović Timothy A. Mann Pushmeet Kohli AAML 107 559 0 30 Oct 2018
Logit Pairing Methods Can Fool Gradient-Based Attacks Marius Mosbach Maksym Andriushchenko T. A. Trost Matthias Hein Dietrich Klakow AAML 68 83 0 29 Oct 2018
Rademacher Complexity for Adversarially Robust Generalization Dong Yin Kannan Ramchandran Peter L. Bartlett AAML 105 261 0 29 Oct 2018
RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications Huan Zhang Pengchuan Zhang Cho-Jui Hsieh AAML 70 63 0 28 Oct 2018
Evading classifiers in discrete domains with provable optimality guarantees B. Kulynych Jamie Hayes N. Samarin Carmela Troncoso AAML 85 20 0 25 Oct 2018
Robust Adversarial Learning via Sparsifying Front Ends S. Gopalakrishnan Zhinus Marzi Metehan Cekic Upamanyu Madhow Ramtin Pedarsani AAML 58 3 0 24 Oct 2018
Cost-Sensitive Robustness against Adversarial Examples Xiao Zhang David Evans AAML 76 26 0 22 Oct 2018
Provable Robustness of ReLU networks via Maximization of Linear Regions Francesco Croce Maksym Andriushchenko Matthias Hein 92 166 0 17 Oct 2018
Adversarial Examples - A Complete Characterisation of the Phenomenon A. Serban E. Poll Joost Visser SILM AAML 102 49 0 02 Oct 2018
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 81 406 0 19 Sep 2018
Certified Adversarial Robustness with Additive Noise Bai Li Changyou Chen Wenlin Wang Lawrence Carin AAML 117 350 0 10 Sep 2018
The Curse of Concentration in Robust Learning: Evasion and Poisoning Attacks from Concentration of Measure Saeed Mahloujifar Dimitrios I. Diochnos Mohammad Mahmoody 72 152 0 09 Sep 2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Y. Xiao Vincent Tjeng Nur Muhammad (Mahi) Shafiullah Aleksander Madry AAML OOD 68 202 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 107 229 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 91 111 0 10 Jul 2018
Robustness May Be at Odds with Accuracy Dimitris Tsipras Shibani Santurkar Logan Engstrom Alexander Turner Aleksander Madry AAML 116 1,786 0 30 May 2018
L2-Nonexpansive Neural Networks Haifeng Qian M. Wegman 75 74 0 22 Feb 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 103 117 0 20 Nov 2017