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
Double Bubble, Toil and Trouble: Enhancing Certified Robustness through Transitivity Andrew C. Cullen Paul Montague Shijie Liu S. Erfani Benjamin I. P. Rubinstein AAML 17 11 0 12 Oct 2022
Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective Bohang Zhang Du Jiang Di He Liwei Wang OOD 38 48 0 04 Oct 2022
On the tightness of linear relaxation based robustness certification methods Cheng Tang AAML 44 0 0 01 Oct 2022
CARE: Certifiably Robust Learning with Reasoning via Variational Inference Jiawei Zhang Linyi Li Ce Zhang Bo-wen Li AAML OOD 43 8 0 12 Sep 2022
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks Zhaodi Zhang Yiting Wu Siwen Liu Jing Liu Min Zhang AAML 29 11 0 21 Aug 2022
An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models Brendon G. Anderson Tanmay Gautam Somayeh Sojoudi OOD 21 2 0 15 Aug 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Bo-wen Li Suman Jana Cho-Jui Hsieh J. Zico Kolter 46 97 0 11 Aug 2022
3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models Ronghui Mu Wenjie Ruan Leandro Soriano Marcolino Q. Ni 3DPC 34 10 0 15 Jul 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 48 17 0 29 Jun 2022
Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness Tianlong Chen Huan Zhang Zhenyu Zhang Shiyu Chang Sijia Liu Pin-Yu Chen Zhangyang Wang AAML 11 11 0 15 Jun 2022
Can pruning improve certified robustness of neural networks? Zhangheng Li Tianlong Chen Linyi Li Bo-wen Li Zhangyang Wang AAML 19 12 0 15 Jun 2022
Toward Certified Robustness Against Real-World Distribution Shifts Haoze Wu Teruhiro Tagomori Alexander Robey Fengjun Yang Nikolai Matni George Pappas Hamed Hassani C. Păsăreanu Clark W. Barrett AAML OOD 47 18 0 08 Jun 2022
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound Claudio Ferrari Mark Niklas Muller Nikola Jovanović Martin Vechev 39 83 0 30 Apr 2022
Tailored Uncertainty Estimation for Deep Learning Systems Joachim Sicking Maram Akila Jan David Schneider Fabian Hüger Peter Schlicht Tim Wirtz Stefan Wrobel UQCV 29 1 0 29 Apr 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 49 30 0 19 Mar 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 24 15 0 06 Mar 2022
Don't Lie to Me! Robust and Efficient Explainability with Verified Perturbation Analysis Thomas Fel Mélanie Ducoffe David Vigouroux Rémi Cadène Mikael Capelle C. Nicodeme Thomas Serre AAML 28 41 0 15 Feb 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 40 26 0 06 Jan 2022
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 32 6 0 09 Dec 2021
Reachability analysis of neural networks using mixed monotonicity Pierre-Jean Meyer 54 8 0 15 Nov 2021
Boosting the Certified Robustness of L-infinity Distance Nets Bohang Zhang Du Jiang Di He Liwei Wang OOD 35 29 0 13 Oct 2021
Certified Patch Robustness via Smoothed Vision Transformers Hadi Salman Saachi Jain Eric Wong Aleksander Mkadry AAML 70 58 0 11 Oct 2021
Neural Network Verification in Control M. Everett AAML 34 16 0 30 Sep 2021
ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation Chuangchuang Sun Dong-Ki Kim Jonathan P. How AAML 33 19 0 14 Sep 2021
Shared Certificates for Neural Network Verification Marc Fischer C. Sprecher Dimitar I. Dimitrov Gagandeep Singh Martin Vechev AAML 28 12 0 01 Sep 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 27 112 0 31 Aug 2021
Certifiers Make Neural Networks Vulnerable to Availability Attacks Tobias Lorenz Marta Kwiatkowska Mario Fritz AAML SILM 12 2 0 25 Aug 2021
GoTube: Scalable Stochastic Verification of Continuous-Depth Models Sophie Gruenbacher Mathias Lechner Ramin Hasani Daniela Rus T. Henzinger S. Smolka Radu Grosu 26 17 0 18 Jul 2021
ANCER: Anisotropic Certification via Sample-wise Volume Maximization Francisco Eiras Motasem Alfarra M. P. Kumar Philip Torr P. Dokania Guohao Li Adel Bibi 23 32 0 09 Jul 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 47 15 0 16 Jun 2021
Certification of embedded systems based on Machine Learning: A survey Guillaume Vidot Christophe Gabreau I. Ober Iulian Ober 11 12 0 14 Jun 2021
A Primer on Multi-Neuron Relaxation-based Adversarial Robustness Certification Kevin Roth AAML 6 2 0 06 Jun 2021
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition Alessandro De Palma Rudy Bunel Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip Torr M. P. Kumar 35 50 0 14 Apr 2021
Towards Evaluating and Training Verifiably Robust Neural Networks Zhaoyang Lyu Minghao Guo Tong Wu Guodong Xu Kehuan Zhang Dahua Lin AAML 21 22 0 01 Apr 2021
Robustness Certification for Point Cloud Models Tobias Lorenz Anian Ruoss Mislav Balunović Gagandeep Singh Martin Vechev 3DPC 32 26 0 30 Mar 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 11 185 0 11 Mar 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 41 90 0 05 Mar 2021
Bridging the Gap Between Adversarial Robustness and Optimization Bias Fartash Faghri Sven Gowal C. N. Vasconcelos David J. Fleet Fabian Pedregosa Nicolas Le Roux AAML 198 7 0 17 Feb 2021
Low Curvature Activations Reduce Overfitting in Adversarial Training Vasu Singla Sahil Singla David Jacobs S. Feizi AAML 43 45 0 15 Feb 2021
On the Paradox of Certified Training Nikola Jovanović Mislav Balunović Maximilian Baader Martin Vechev OOD 28 13 0 12 Feb 2021
Towards Bridging the gap between Empirical and Certified Robustness against Adversarial Examples Jay Nandy Sudipan Saha Wynne Hsu Mong Li Lee Xiaosu Zhu AAML 30 3 0 09 Feb 2021
Fast Training of Provably Robust Neural Networks by SingleProp Akhilan Boopathy Tsui-Wei Weng Sijia Liu Pin-Yu Chen Gaoyuan Zhang Luca Daniel AAML 11 7 0 01 Feb 2021
Robust Reinforcement Learning on State Observations with Learned Optimal Adversary Huan Zhang Hongge Chen Duane S. Boning Cho-Jui Hsieh 67 163 0 21 Jan 2021
Scaling the Convex Barrier with Sparse Dual Algorithms Alessandro De Palma Harkirat Singh Behl Rudy Bunel Philip Torr M. P. Kumar 43 9 0 14 Jan 2021
With False Friends Like These, Who Can Notice Mistakes? Lue Tao Lei Feng Jinfeng Yi Songcan Chen AAML 21 5 0 29 Dec 2020
Adaptive Verifiable Training Using Pairwise Class Similarity Shiqi Wang Kevin Eykholt Taesung Lee Jiyong Jang Ian Molloy OOD 23 1 0 14 Dec 2020
Data-Dependent Randomized Smoothing Motasem Alfarra Adel Bibi Philip Torr Guohao Li UQCV 28 34 0 08 Dec 2020
Deterministic Certification to Adversarial Attacks via Bernstein Polynomial Approximation Ching-Chia Kao Jhe-Bang Ko Chun-Shien Lu AAML 32 1 0 28 Nov 2020
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers Kaidi Xu Huan Zhang Shiqi Wang Yihan Wang Suman Jana Xue Lin Cho-Jui Hsieh 17 172 0 27 Nov 2020
An efficient nonconvex reformulation of stagewise convex optimization problems Rudy Bunel Oliver Hinder Srinadh Bhojanapalli Krishnamurthy Dvijotham Dvijotham OffRL 35 14 0 27 Oct 2020