On the Tightness of Semidefinite Relaxations for Certifying Robustness
to Adversarial Examples

v1v2 (latest)

On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples

11 June 2020

Richard Y. Zhang

ArXiv (abs)PDF HTML

Papers citing "On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples"

19 / 19 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 146 37 0 29 Apr 2023
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi 93 1 0 22 Jan 2021
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 79 232 0 04 Mar 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 152 2,044 0 08 Feb 2019
Scaling provable adversarial defenses Eric Wong Frank R. Schmidt J. H. Metzen J. Zico Kolter AAML 78 450 0 31 May 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
Certified Robustness to Adversarial Examples with Differential Privacy Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel J. Hsu Suman Jana SILM AAML 96 939 0 09 Feb 2018
Evasion Attacks against Machine Learning at Test Time Battista Biggio Igino Corona Davide Maiorca B. Nelson Nedim Srndic Pavel Laskov Giorgio Giacinto Fabio Roli AAML 157 2,159 0 21 Aug 2017
Towards Deep Learning Models Resistant to Adversarial Attacks Aleksander Madry Aleksandar Makelov Ludwig Schmidt Dimitris Tsipras Adrian Vladu SILM OOD 310 12,117 0 19 Jun 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
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 472 3,147 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 228 944 0 21 Oct 2016
Towards Evaluating the Robustness of Neural Networks Nicholas Carlini D. Wagner OOD AAML 266 8,579 0 16 Aug 2016
Matrix Completion has No Spurious Local Minimum Rong Ge Jason D. Lee Tengyu Ma 111 599 0 24 May 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
Phase Retrieval using Alternating Minimization Praneeth Netrapalli Prateek Jain Sujay Sanghavi 221 633 0 02 Jun 2013
Matrix Completion from Noisy Entries Raghunandan H. Keshavan Andrea Montanari Sewoong Oh 265 719 0 11 Jun 2009
Matrix Completion from a Few Entries Raghunandan H. Keshavan Andrea Montanari Sewoong Oh 429 1,246 0 20 Jan 2009
Guaranteed Minimum-Rank Solutions of Linear Matrix Equations via Nuclear Norm Minimization Benjamin Recht Maryam Fazel P. Parrilo 419 3,771 0 28 Jun 2007