v1v2 (latest)

Universal Approximation with Certified Networks

30 September 2019

Maximilian Baader

M. Mirman

Martin Vechev

ArXiv (abs)PDF HTML

Papers citing "Universal Approximation with Certified Networks"

30 / 30 papers shown

Title
Universal Lipschitz Approximation in Bounded Depth Neural Networks Jérémy E. Cohen Todd P. Huster Ravid Cohen AAML 44 23 0 09 Apr 2019
A Provable Defense for Deep Residual Networks M. Mirman Gagandeep Singh Martin Vechev 44 26 0 29 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 111 270 0 23 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 152 2,044 0 08 Feb 2019
Sorting out Lipschitz function approximation Cem Anil James Lucas Roger C. Grosse 86 324 0 13 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 761 0 02 Nov 2018
On the Geometry of Adversarial Examples Marc Khoury Dylan Hadfield-Menell AAML 59 79 0 01 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 82 557 0 30 Oct 2018
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 68 404 0 19 Sep 2018
Certified Adversarial Robustness with Additive Noise Bai Li Changyou Chen Wenlin Wang Lawrence Carin AAML 91 350 0 10 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 41 201 0 09 Sep 2018
Scaling provable adversarial defenses Eric Wong Frank R. Schmidt J. H. Metzen J. Zico Kolter AAML 76 449 0 31 May 2018
Robustness May Be at Odds with Accuracy Dimitris Tsipras Shibani Santurkar Logan Engstrom Alexander Turner Aleksander Madry AAML 104 1,781 0 30 May 2018
Training verified learners with learned verifiers Krishnamurthy Dvijotham Sven Gowal Robert Stanforth Relja Arandjelović Brendan O'Donoghue J. Uesato Pushmeet Kohli OOD 60 168 0 25 May 2018
Adversarially Robust Generalization Requires More Data Ludwig Schmidt Shibani Santurkar Dimitris Tsipras Kunal Talwar Aleksander Madry OOD AAML 149 790 0 30 Apr 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
A Dual Approach to Scalable Verification of Deep Networks Krishnamurthy Dvijotham Dvijotham Robert Stanforth Sven Gowal Timothy A. Mann Pushmeet Kohli 54 399 0 17 Mar 2018
Certified Robustness to Adversarial Examples with Differential Privacy Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel J. Hsu Suman Jana SILM AAML 96 934 0 09 Feb 2018
Certified Defenses against Adversarial Examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 111 968 0 29 Jan 2018
Generating Adversarial Examples with Adversarial Networks Chaowei Xiao Yue Liu Jun-Yan Zhu Warren He M. Liu Basel Alomair GAN AAML 115 899 0 08 Jan 2018
Threat of Adversarial Attacks on Deep Learning in Computer Vision: A Survey Naveed Akhtar Ajmal Mian AAML 97 1,867 0 02 Jan 2018
Provable defenses against adversarial examples via the convex outer adversarial polytope Eric Wong J. Zico Kolter AAML 125 1,503 0 02 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 318 1,873 0 03 Feb 2017
Understanding Deep Neural Networks with Rectified Linear Units R. Arora A. Basu Poorya Mianjy Anirbit Mukherjee PINN 154 642 0 04 Nov 2016
Universal adversarial perturbations Seyed-Mohsen Moosavi-Dezfooli Alhussein Fawzi Omar Fawzi P. Frossard AAML 145 2,527 0 26 Oct 2016
Improving the Robustness of Deep Neural Networks via Stability Training Stephan Zheng Yang Song Thomas Leung Ian Goodfellow OOD 50 638 0 15 Apr 2016
The Limitations of Deep Learning in Adversarial Settings Nicolas Papernot Patrick McDaniel S. Jha Matt Fredrikson Z. Berkay Celik A. Swami AAML 112 3,962 0 24 Nov 2015
Towards Deep Neural Network Architectures Robust to Adversarial Examples S. Gu Luca Rigazio AAML 76 843 0 11 Dec 2014
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 275 14,927 1 21 Dec 2013