Semialgebraic Optimization for Lipschitz Constants of ReLU Networks

Semialgebraic Optimization for Lipschitz Constants of ReLU Networks

10 February 2020

Edouard Pauwels

Papers citing "Semialgebraic Optimization for Lipschitz Constants of ReLU Networks"

17 / 17 papers shown

Title
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks Mahyar Fazlyab Alexander Robey Hamed Hassani M. Morari George J. Pappas 87 457 0 12 Jun 2019
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 73 232 0 04 Mar 2019
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 122 138 0 29 Nov 2018
Sorting out Lipschitz function approximation Cem Anil James Lucas Roger C. Grosse 86 321 0 13 Nov 2018
Semidefinite relaxations for certifying robustness to adversarial examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 96 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 89 760 0 02 Nov 2018
Limitations of the Lipschitz constant as a defense against adversarial examples Todd P. Huster C. Chiang R. Chadha AAML 43 84 0 25 Jul 2018
Lipschitz regularity of deep neural networks: analysis and efficient estimation Kevin Scaman Aladin Virmaux 80 529 0 28 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 100 694 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 52 399 0 17 Mar 2018
Spectral Normalization for Generative Adversarial Networks Takeru Miyato Toshiki Kataoka Masanori Koyama Yuichi Yoshida ODL 155 4,437 0 16 Feb 2018
Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks Yusuke Tsuzuku Issei Sato Masashi Sugiyama AAML 103 307 0 12 Feb 2018
Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach Tsui-Wei Weng Huan Zhang Pin-Yu Chen Jinfeng Yi D. Su Yupeng Gao Cho-Jui Hsieh Luca Daniel AAML 80 467 0 31 Jan 2018
Certified Defenses against Adversarial Examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 105 968 0 29 Jan 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 75 117 0 20 Nov 2017
Provable defenses against adversarial examples via the convex outer adversarial polytope Eric Wong J. Zico Kolter AAML 123 1,501 0 02 Nov 2017
Improved Training of Wasserstein GANs Ishaan Gulrajani Faruk Ahmed Martín Arjovsky Vincent Dumoulin Aaron Courville GAN 201 9,546 0 31 Mar 2017

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.