Towards Fast Computation of Certified Robustness for ReLU Networks

Towards Fast Computation of Certified Robustness for ReLU Networks

25 April 2018

Duane S. Boning

Inderjit S. Dhillon

Papers citing "Towards Fast Computation of Certified Robustness for ReLU Networks"

7 / 157 papers shown

Title
Certified Adversarial Robustness with Additive Noise Bai Li Changyou Chen Wenlin Wang Lawrence Carin AAML 28 341 0 10 Sep 2018
Is Robustness the Cost of Accuracy? -- A Comprehensive Study on the Robustness of 18 Deep Image Classification Models D. Su Huan Zhang Hongge Chen Jinfeng Yi Pin-Yu Chen Yupeng Gao VLM 40 389 0 05 Aug 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
Adversarial examples from computational constraints Sébastien Bubeck Eric Price Ilya P. Razenshteyn AAML 65 230 0 25 May 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 52 117 0 20 Nov 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,842 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 296 3,113 0 04 Nov 2016