A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks

23 February 2019

Papers citing "A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks"

50 / 152 papers shown

Title
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming Sumanth Dathathri Krishnamurthy Dvijotham Alexey Kurakin Aditi Raghunathan J. Uesato ... Shreya Shankar Jacob Steinhardt Ian Goodfellow Percy Liang Pushmeet Kohli AAML 24 93 0 22 Oct 2020
Certified Distributional Robustness on Smoothed Classifiers Jungang Yang Liyao Xiang Pengzhi Chu Yukun Wang Cheng Zhou Xinbing Wang AAML 19 0 0 21 Oct 2020
Robustness Analysis of Neural Networks via Efficient Partitioning with Applications in Control Systems Michael Everett Golnaz Habibi Jonathan P. How AAML 8 3 0 01 Oct 2020
Efficient Certification of Spatial Robustness Anian Ruoss Maximilian Baader Mislav Balunović Martin Vechev AAML 18 25 0 19 Sep 2020
Achieving Adversarial Robustness via Sparsity Shu-Fan Wang Ningyi Liao Liyao Xiang Nanyang Ye Quanshi Zhang AAML 14 14 0 11 Sep 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
$On $\ell_p$-norm Robustness of Ensemble Stumps and Trees$ On $\ell_p$ -norm Robustness of Ensemble Stumps and Trees Yihan Wang Huan Zhang Hongge Chen Duane S. Boning Cho-Jui Hsieh AAML 17 7 0 20 Aug 2020
Adversarial Examples on Object Recognition: A Comprehensive Survey A. Serban E. Poll Joost Visser AAML 29 73 0 07 Aug 2020
Hierarchical Verification for Adversarial Robustness Cong Han Lim R. Urtasun Ersin Yumer AAML 16 5 0 23 Jul 2020
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 29 56 0 20 Jul 2020
Neural Network Virtual Sensors for Fuel Injection Quantities with Provable Performance Specifications Eric Wong Tim Schneider Joerg Schmitt Frank R. Schmidt J. Zico Kolter AAML 40 8 0 30 Jun 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification Christian Tjandraatmadja Ross Anderson Joey Huchette Will Ma Krunal Patel J. Vielma AAML 27 89 0 24 Jun 2020
Verifying Individual Fairness in Machine Learning Models Philips George John Deepak Vijaykeerthy Diptikalyan Saha FaML 27 57 0 21 Jun 2020
Evaluations and Methods for Explanation through Robustness Analysis Cheng-Yu Hsieh Chih-Kuan Yeh Xuanqing Liu Pradeep Ravikumar Seungyeon Kim Sanjiv Kumar Cho-Jui Hsieh XAI 17 58 0 31 May 2020
Enhancing Certified Robustness via Smoothed Weighted Ensembling Chizhou Liu Yunzhen Feng Ranran Wang Bin Dong AAML 21 12 0 19 May 2020
Efficient Exact Verification of Binarized Neural Networks Kai Jia Martin Rinard AAML MQ 17 58 0 07 May 2020
Robustness Certification of Generative Models M. Mirman Timon Gehr Martin Vechev AAML 43 22 0 30 Apr 2020
Improved Image Wasserstein Attacks and Defenses J. E. Hu Adith Swaminathan Hadi Salman Greg Yang AAML OOD 35 10 0 26 Apr 2020
Certifiable Robustness to Adversarial State Uncertainty in Deep Reinforcement Learning Michael Everett Bjorn Lutjens Jonathan P. How AAML 15 41 0 11 Apr 2020
Robust Deep Reinforcement Learning against Adversarial Perturbations on State Observations Huan Zhang Hongge Chen Chaowei Xiao Bo-wen Li Mingyan D. Liu Duane S. Boning Cho-Jui Hsieh AAML 47 261 0 19 Mar 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 37 34 0 06 Mar 2020
Denoised Smoothing: A Provable Defense for Pretrained Classifiers Hadi Salman Mingjie Sun Greg Yang Ashish Kapoor J. Zico Kolter 45 23 0 04 Mar 2020
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond Kaidi Xu Zhouxing Shi Huan Zhang Yihan Wang Kai-Wei Chang Minlie Huang B. Kailkhura X. Lin Cho-Jui Hsieh AAML 27 11 0 28 Feb 2020
Certified Defense to Image Transformations via Randomized Smoothing Marc Fischer Maximilian Baader Martin Vechev AAML 22 66 0 27 Feb 2020
TSS: Transformation-Specific Smoothing for Robustness Certification Linyi Li Maurice Weber Xiaojun Xu Luka Rimanic B. Kailkhura Tao Xie Ce Zhang Bo-wen Li AAML 35 56 0 27 Feb 2020
Overfitting in adversarially robust deep learning Leslie Rice Eric Wong Zico Kolter 47 787 0 26 Feb 2020
Lagrangian Decomposition for Neural Network Verification Rudy Bunel Alessandro De Palma Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip Torr M. P. Kumar 19 50 0 24 Feb 2020
Improving the Tightness of Convex Relaxation Bounds for Training Certifiably Robust Classifiers Chen Zhu Renkun Ni Ping Yeh-Chiang Hengduo Li Furong Huang Tom Goldstein 23 4 0 22 Feb 2020
Randomized Smoothing of All Shapes and Sizes Greg Yang Tony Duan J. E. Hu Hadi Salman Ilya P. Razenshteyn Jungshian Li AAML 32 209 0 19 Feb 2020
Robustness Verification for Transformers Zhouxing Shi Huan Zhang Kai-Wei Chang Minlie Huang Cho-Jui Hsieh AAML 24 105 0 16 Feb 2020
PaRoT: A Practical Framework for Robust Deep Neural Network Training Edward W. Ayers Francisco Eiras Majd Hawasly I. Whiteside OOD 23 19 0 07 Jan 2020
$n$ -ML: Mitigating Adversarial Examples via Ensembles of Topologically Manipulated Classifiers Mahmood Sharif Lujo Bauer Michael K. Reiter AAML 18 6 0 19 Dec 2019
Training Provably Robust Models by Polyhedral Envelope Regularization Chen Liu Mathieu Salzmann Sabine Süsstrunk AAML 23 7 0 10 Dec 2019
Fastened CROWN: Tightened Neural Network Robustness Certificates Zhaoyang Lyu Ching-Yun Ko Zhifeng Kong Ngai Wong Dahua Lin Luca Daniel 38 67 0 02 Dec 2019
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 33 9 0 31 Oct 2019
Certified Adversarial Robustness for Deep Reinforcement Learning Björn Lütjens Michael Everett Jonathan P. How AAML 14 91 0 28 Oct 2019
Are Perceptually-Aligned Gradients a General Property of Robust Classifiers? Simran Kaur Jeremy M. Cohen Zachary Chase Lipton OOD AAML 24 65 0 18 Oct 2019
Universal Approximation with Certified Networks Maximilian Baader M. Mirman Martin Vechev 11 21 0 30 Sep 2019
Wasserstein Diffusion Tikhonov Regularization A. Lin Yonatan Dukler Wuchen Li Guido Montúfar 21 2 0 15 Sep 2019
Convergence of Adversarial Training in Overparametrized Neural Networks Ruiqi Gao Tianle Cai Haochuan Li Liwei Wang Cho-Jui Hsieh Jason D. Lee AAML 21 107 0 19 Jun 2019
Towards Stable and Efficient Training of Verifiably Robust Neural Networks Huan Zhang Hongge Chen Chaowei Xiao Sven Gowal Robert Stanforth Bo-wen Li Duane S. Boning Cho-Jui Hsieh AAML 17 344 0 14 Jun 2019
Evaluating the Robustness of Nearest Neighbor Classifiers: A Primal-Dual Perspective Lu Wang Xuanqing Liu Jinfeng Yi Zhi-Hua Zhou Cho-Jui Hsieh AAML 28 22 0 10 Jun 2019
Robustness Verification of Tree-based Models Hongge Chen Huan Zhang Si Si Yang Li Duane S. Boning Cho-Jui Hsieh AAML 22 76 0 10 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 45 536 0 09 Jun 2019
Correctness Verification of Neural Networks Yichen Yang Martin Rinard AAML 19 12 0 03 Jun 2019
Fast and Stable Interval Bounds Propagation for Training Verifiably Robust Models P. Morawiecki Przemysław Spurek Marek Śmieja Jacek Tabor AAML OOD 11 8 0 03 Jun 2019
Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes Matt Jordan Justin Lewis A. Dimakis AAML 24 57 0 20 Mar 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 36 393 0 15 Mar 2019
On Certifying Non-uniform Bound against Adversarial Attacks Chen Liu Ryota Tomioka V. Cevher AAML 42 19 0 15 Mar 2019
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 16 227 0 04 Mar 2019