Provable Robustness of ReLU networks via Maximization of Linear Regions
Not on the map. Why?
Abstract (arXiv)
It has been shown that neural network classifiers are not robust. This raises concerns about their usage in safety-critical systems. We propose in this paper a regularization scheme for ReLU networks which provably improves the robustness of the classifier by maximizing the linear regions of the classifier as well as the distance to the decision boundary. Our techniques allow even to find the minimal adversarial perturbation for a fraction of test points for large networks. In the experiments we show that our approach improves upon adversarial training both in terms of lower and upper bounds on the robustness and is comparable or better than the state-of-the-art in terms of test error and robustness.
Key facts. Cited by 51 papers in the map (data through 7 Oct 2026). First posted on arXiv 17 Oct 2018.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 22; 2022: 8; 2023: 9; 2024: 5; 2025: 3; 2026: 4.
51 papers.
Sort:
- 2021Globally-Robust Neural Networkscited by 106
- 2021On the Adversarial Robustness of Vision Transformerscited by 104
- 2021Skew Orthogonal Convolutionscited by 67
- 2021Relating Adversarially Robust Generalization to Flat Minimacited by 57
- 2021SmoothMix: Training Confidence-calibrated Smoothed Classifiers for Certified Robustnesscited by 49
- 2022Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspectivecited by 48
- 2021Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100cited by 47
- 2023When Deep Learning Meets Polyhedral Theory: A Surveycited by 39
- 2021Consistent Counterfactuals for Deep Modelscited by 37
- 2021How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Reviewcited by 36
- 2023Exploring and Exploiting Decision Boundary Dynamics for Adversarial Robustnesscited by 35
- 2021Boosting the Certified Robustness of L-infinity Distance Netscited by 24
38 more
- 2021Robust Models Are More Interpretable Because Attributions Look Normalcited by 21
- 2021Adversarial Robustness via Fisher-Rao Regularizationcited by 19
- 2021Towards Evaluating the Robustness of Deep Diagnostic Models by Adversarial Attackcited by 15
- 2021On the Expected Complexity of Maxout Networkscited by 15
- 2021How and When Adversarial Robustness Transfers in Knowledge Distillation?cited by 15
- 2021Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verificationcited by 13
- 2023Unlocking Deterministic Robustness Certification on ImageNetcited by 13
- 2023Adversarial Attacks on Traffic Sign Recognition: A Surveycited by 13
- 2024FairProof : Confidential and Certifiable Fairness for Neural Networkscited by 13
- 2021Connections between Numerical Algorithms for PDEs and Neural Networkscited by 10
- 2023Deep Contract Design via Discontinuous Networkscited by 10
- 2022Improved techniques for deterministic l2 robustnesscited by 9
- 2022Towards Robust Dataset Learningcited by 9
- 2022Confidence-aware Training of Smoothed Classifiers for Certified Robustnesscited by 9
- 2024Multi-Sender Persuasion: A Computational Perspectivecited by 9
- 2024On the Local Complexity of Linear Regions in Deep ReLU Networkscited by 9
- 2021Recent Advances in Large Margin Learningcited by 7
- 2021Understanding and Accelerating Neural Architecture Search with Training-Free and Theory-Grounded Metricscited by 7
- 2021Relaxing Local Robustnesscited by 6
- 2022Reliable Robustness Evaluation via Automatically Constructed Attack Ensemblescited by 6
- 2022Robust Binary Models by Pruning Randomly-initialized Networkscited by 5
- 2023Deep ReLU Networks Have Surprisingly Simple Polytopescited by 5
- 2024Holistic Adversarially Robust Pruningcited by 5
- 2021The Fundamental Limits of Interval Arithmetic for Neural Networkscited by 4
- 2023Limitations of Piecewise Linearity for Efficient Robustness Certificationcited by 4
- 2023Certified Adversarial Robustness Within Multiple Perturbation Boundscited by 4
- 2021DISCO Verification: Division of Input Space into COnvex polytopes for neural network verificationcited by 1
- 2022How Sampling Impacts the Robustness of Stochastic Neural Networkscited by 1
- 2022Gradient Obfuscation Checklist Test Gives a False Sense of Securitycited by 1
- 2023Neural Polytopescited by 1
- 2024Tropical Decision Boundaries for Neural Networks Are Robust Against Adversarial Attackscited by 1
- 2025Adversarial Examples in Environment Perception for Automated Driving (Review)cited by 1
- 2026Learning Better Certified Models from Empirically-Robust Teacherscited by 1
- 2021Improving the Behaviour of Vision Transformers with Token-consistent Stochastic Layerscited by 0
- 2025Elytra: A Flexible Framework for Securing Large Vision Systemscited by 0
- 2025TrajSyn: Privacy-Preserving Dataset Distillation from Federated Model Trajectories for Server-Side Adversarial Trainingcited by 0
- 2026Theoretical Lower Bounds on the Robustness of Deep ReLU Networkscited by 0
- 2026Complexity of Linear Regions in Self-supervised Deep ReLU Networkscited by 0
50 most cited of 51 All 51 (JSON)
- 2026Affine Geometry of Gaussian ReLU Networks via Conditional Kac-Rice Formulas26 Sep 2026
- 2026Complexity of Linear Regions in Self-supervised Deep ReLU Networks27 Apr 2026
- 2026Theoretical Lower Bounds on the Robustness of Deep ReLU Networks21 Feb 2026
- 2026Learning Better Certified Models from Empirically-Robust Teachers2 Feb 2026
- 2025TrajSyn: Privacy-Preserving Dataset Distillation from Federated Model Trajectories for Server-Side Adversarial Training17 Dec 2025
- 2025Elytra: A Flexible Framework for Securing Large Vision Systems31 May 2025
- 2025Adversarial Examples in Environment Perception for Automated Driving (Review)11 Apr 2025
- 2024On the Local Complexity of Linear Regions in Deep ReLU Networks24 Dec 2024
- 2024Holistic Adversarially Robust Pruning19 Dec 2024
- 2024FairProof : Confidential and Certifiable Fairness for Neural Networks19 Feb 2024
- 2024Multi-Sender Persuasion: A Computational Perspective7 Feb 2024
- 2024Tropical Decision Boundaries for Neural Networks Are Robust Against Adversarial Attacks1 Feb 2024
38 more
- 2023Adversarial Attacks on Traffic Sign Recognition: A Survey17 Jul 2023
- 2023Deep Contract Design via Discontinuous Networks5 Jul 2023
- 2023Neural Polytopes3 Jul 2023
- 2023Deep ReLU Networks Have Surprisingly Simple Polytopes16 May 2023
- 2023When Deep Learning Meets Polyhedral Theory: A Survey29 Apr 2023
- 2023Certified Adversarial Robustness Within Multiple Perturbation Bounds20 Apr 2023
- 2023Exploring and Exploiting Decision Boundary Dynamics for Adversarial Robustness6 Feb 2023
- 2023Unlocking Deterministic Robustness Certification on ImageNet29 Jan 2023
- 2023Limitations of Piecewise Linearity for Efficient Robustness Certification21 Jan 2023
- 2022Confidence-aware Training of Smoothed Classifiers for Certified Robustness18 Dec 2022
- 2022Reliable Robustness Evaluation via Automatically Constructed Attack Ensembles23 Nov 2022
- 2022Towards Robust Dataset Learning19 Nov 2022
- 2022Improved techniques for deterministic l2 robustness15 Nov 2022
- 2022Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective4 Oct 2022
- 2022Gradient Obfuscation Checklist Test Gives a False Sense of Security3 Jun 2022
- 2022How Sampling Impacts the Robustness of Stochastic Neural Networks22 Apr 2022
- 2022Robust Binary Models by Pruning Randomly-initialized Networks3 Feb 2022
- 2021Improving the Behaviour of Vision Transformers with Token-consistent Stochastic Layers30 Dec 2021
- 2021The Fundamental Limits of Interval Arithmetic for Neural Networks9 Dec 2021
- 2021SmoothMix: Training Confidence-calibrated Smoothed Classifiers for Certified Robustness17 Nov 2021
- 2021Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification17 Nov 2021
- 2021How and When Adversarial Robustness Transfers in Knowledge Distillation?22 Oct 2021
- 2021Boosting the Certified Robustness of L-infinity Distance Nets13 Oct 2021
- 2021Consistent Counterfactuals for Deep Models6 Oct 2021
- 2021Understanding and Accelerating Neural Architecture Search with Training-Free and Theory-Grounded Metrics26 Aug 2021
- 2021Improved deterministic l2 robustness on CIFAR-10 and CIFAR-1005 Aug 2021
- 2021Connections between Numerical Algorithms for PDEs and Neural Networks30 Jul 2021
- 2021How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review26 Jul 2021
- 2021On the Expected Complexity of Maxout Networks1 Jul 2021
- 2021Adversarial Robustness via Fisher-Rao Regularization12 Jun 2021
- 2021Relaxing Local Robustness11 Jun 2021
- 2021Skew Orthogonal Convolutions24 May 2021
- 2021DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification17 May 2021
- 2021Relating Adversarially Robust Generalization to Flat Minima9 Apr 2021
- 2021On the Adversarial Robustness of Vision Transformers29 Mar 2021
- 2021Recent Advances in Large Margin Learning25 Mar 2021
- 2021Robust Models Are More Interpretable Because Attributions Look Normal20 Mar 2021
- 2021Towards Evaluating the Robustness of Deep Diagnostic Models by Adversarial Attack5 Mar 2021
50 newest of 51 All 51 (JSON)
- 2021Globally-Robust Neural Networkscited by 106
- 2021On the Adversarial Robustness of Vision Transformerscited by 104
- 2021Skew Orthogonal Convolutionscited by 67
- 2021Relating Adversarially Robust Generalization to Flat Minimacited by 57
- 2021SmoothMix: Training Confidence-calibrated Smoothed Classifiers for Certified Robustnesscited by 49
- 2022Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspectivecited by 48
- 2021Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100cited by 47
- 2023When Deep Learning Meets Polyhedral Theory: A Surveycited by 39
- 2021Consistent Counterfactuals for Deep Modelscited by 37
- 2021How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Reviewcited by 36
- 2023Exploring and Exploiting Decision Boundary Dynamics for Adversarial Robustnesscited by 35
- 2021Boosting the Certified Robustness of L-infinity Distance Netscited by 24
12 most cited of 51 All 51 (JSON)
- 2026Affine Geometry of Gaussian ReLU Networks via Conditional Kac-Rice Formulas26 Sep 2026
- 2026Complexity of Linear Regions in Self-supervised Deep ReLU Networks27 Apr 2026
- 2026Theoretical Lower Bounds on the Robustness of Deep ReLU Networks21 Feb 2026
- 2026Learning Better Certified Models from Empirically-Robust Teachers2 Feb 2026
- 2025TrajSyn: Privacy-Preserving Dataset Distillation from Federated Model Trajectories for Server-Side Adversarial Training17 Dec 2025
- 2025Elytra: A Flexible Framework for Securing Large Vision Systems31 May 2025
- 2025Adversarial Examples in Environment Perception for Automated Driving (Review)11 Apr 2025
- 2024On the Local Complexity of Linear Regions in Deep ReLU Networks24 Dec 2024
- 2024Holistic Adversarially Robust Pruning19 Dec 2024
- 2024FairProof : Confidential and Certifiable Fairness for Neural Networks19 Feb 2024
- 2024Multi-Sender Persuasion: A Computational Perspective7 Feb 2024
- 2024Tropical Decision Boundaries for Neural Networks Are Robust Against Adversarial Attacks1 Feb 2024
12 newest of 51 All 51 (JSON)