v1v2 (latest)

Certifying Neural Network Robustness to Random Input Noise from Samples

15 October 2020

Brendon G. Anderson

Somayeh Sojoudi

ArXiv (abs)PDF HTML

Papers citing "Certifying Neural Network Robustness to Random Input Noise from Samples"

14 / 14 papers shown

Title
Tightened Convex Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi AAML 45 32 0 01 Apr 2020
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 67 41 0 09 Oct 2019
Robustness of Neural Networks: A Probabilistic and Practical Approach Ravi Mangal A. Nori A. Orso AAML OOD 54 76 0 15 Feb 2019
Verification of deep probabilistic models Krishnamurthy Dvijotham M. Garnelo Alhussein Fawzi Pushmeet Kohli 67 23 0 06 Dec 2018
A Statistical Approach to Assessing Neural Network Robustness Stefan Webb Tom Rainforth Yee Whye Teh M. P. Kumar AAML 60 83 0 17 Nov 2018
Semidefinite relaxations for certifying robustness to adversarial examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 100 439 0 02 Nov 2018
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 93 763 0 02 Nov 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 108 695 0 25 Apr 2018
$Robustness of classifiers to uniform $\ell\_p$ and Gaussian noise$ Robustness of classifiers to uniform $\ell\_p$ and Gaussian noise Jean-Yves Franceschi Alhussein Fawzi Omar Fawzi 47 21 0 22 Feb 2018
Provable defenses against adversarial examples via the convex outer adversarial polytope Eric Wong J. Zico Kolter AAML 128 1,504 0 02 Nov 2017
One pixel attack for fooling deep neural networks Jiawei Su Danilo Vasconcellos Vargas Kouichi Sakurai AAML 127 2,327 0 24 Oct 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 318 1,873 0 03 Feb 2017
Robustness of classifiers: from adversarial to random noise Alhussein Fawzi Seyed-Mohsen Moosavi-Dezfooli P. Frossard AAML 92 376 0 31 Aug 2016
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 280 14,961 1 21 Dec 2013