Semidefinite relaxations for certifying robustness to adversarial
examples

Semidefinite relaxations for certifying robustness to adversarial examples

2 November 2018

Aditi Raghunathan

Jacob Steinhardt

Papers citing "Semidefinite relaxations for certifying robustness to adversarial examples"

13 / 113 papers shown

Title
Defending Against Physically Realizable Attacks on Image Classification Tong Wu Liang Tong Yevgeniy Vorobeychik AAML 22 125 0 20 Sep 2019
Implicit Deep Learning L. Ghaoui Fangda Gu Bertrand Travacca Armin Askari Alicia Y. Tsai AI4CE 34 176 0 17 Aug 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 27 28 0 17 Jul 2019
Certifiable Robustness and Robust Training for Graph Convolutional Networks Daniel Zügner Stephan Günnemann OffRL 39 162 0 28 Jun 2019
Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers Hadi Salman Greg Yang Jungshian Li Pengchuan Zhang Huan Zhang Ilya P. Razenshteyn Sébastien Bubeck AAML 33 536 0 09 Jun 2019
Scaleable input gradient regularization for adversarial robustness Chris Finlay Adam M. Oberman AAML 16 77 0 27 May 2019
Adversarial Training for Free! Ali Shafahi Mahyar Najibi Amin Ghiasi Zheng Xu John P. Dickerson Christoph Studer L. Davis Gavin Taylor Tom Goldstein AAML 68 1,227 0 29 Apr 2019
Defending against Whitebox Adversarial Attacks via Randomized Discretization Yuchen Zhang Percy Liang AAML 32 75 0 25 Mar 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 21 263 0 23 Feb 2019
Wasserstein Adversarial Examples via Projected Sinkhorn Iterations Eric Wong Frank R. Schmidt J. Zico Kolter AAML 27 210 0 21 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 17 1,995 0 08 Feb 2019
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 19 251 0 20 Nov 2018
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