Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation
Not on the map. Why?
Abstract (arXiv)
Recent work has shown that state-of-the-art classifiers are quite brittle, in the sense that a small adversarial change of an originally with high confidence correctly classified input leads to a wrong classification again with high confidence. This raises concerns that such classifiers are vulnerable to attacks and calls into question their usage in safety-critical systems. We show in this paper for the first time formal guarantees on the robustness of a classifier by giving instance-specific lower bounds on the norm of the input manipulation required to change the classifier decision. Based on this analysis we propose the Cross-Lipschitz regularization functional. We show that using this form of regularization in kernel methods resp. neural networks improves the robustness of the classifier without any loss in prediction performance.
Key facts. Cited by 182 papers in the map (data through 7 Oct 2026). First posted on arXiv 23 May 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 52; 2022: 39; 2023: 33; 2024: 22; 2025: 17; 2026: 19.
182 papers.
Sort:
By area:
- 2021Trustworthy AI: From Principles to Practicescited by 206
- 2021Partial success in closing the gap between human and machine visioncited by 185
- 2024WARM: On the Benefits of Weight Averaged Reward Modelscited by 145
- 2021Advances in adversarial attacks and defenses in computer vision: A surveycited by 127
- 2021On the Convergence and Robustness of Adversarial Trainingcited by 127
- 2021Globally-Robust Neural Networkscited by 106
- 2021Orthogonalizing Convolutional Layers with the Cayley Transformcited by 105
- 2021AugMax: Adversarial Composition of Random Augmentations for Robust Trainingcited by 89
- 2021Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Boundscited by 64
- 2023A Unified Algebraic Perspective on Lipschitz Neural Networkscited by 58
- 2021Relating Adversarially Robust Generalization to Flat Minimacited by 57
- 2022Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagationcited by 45
38 more
- 2023How Smooth Is Attention?cited by 44
- 2021CROP: Certifying Robust Policies for Reinforcement Learning through Functional Smoothingcited by 41
- 2022Sparsity Winning Twice: Better Robust Generalization from More Efficient Trainingcited by 41
- 2022Regret Minimization with Performative Feedbackcited by 40
- 2021How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Reviewcited by 36
- 2021A Review of Formal Methods applied to Machine Learningcited by 33
- 2022Trustworthy Reinforcement Learning Against Intrinsic Vulnerabilities: Robustness, Safety, and Generalizabilitycited by 32
- 2023Don't trust your eyes: on the (un)reliability of feature visualizationscited by 32
- 2023Randomized Adversarial Training via Taylor Expansioncited by 28
- 2021Noisy Feature Mixupcited by 27
- 2021Intriguing Properties of Input-dependent Randomized Smoothingcited by 24
- 2023Training robust and generalizable quantum modelscited by 21
- 2024H-Consistency Guarantees for Regressioncited by 21
- 2022Efficiently Training Low-Curvature Neural Networkscited by 19
- 2022Robustness in deep learning: The good (width), the bad (depth), and the ugly (initialization)cited by 18
- 2023Improving the Accuracy-Robustness Trade-Off of Classifiers via Adaptive Smoothingcited by 18
- 2021BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networkscited by 17
- 2021CounterNet: End-to-End Training of Prediction Aware Counterfactual Explanationscited by 17
- 2021A Unified Game-Theoretic Interpretation of Adversarial Robustnesscited by 17
- 2021SPADE: A Spectral Method for Black-Box Adversarial Robustness Evaluationcited by 16
- 2021Learning Prediction Intervals for Regression: Generalization and Calibrationcited by 16
- 2022A Quantitative Geometric Approach to Neural-Network Smoothnesscited by 16
- 2023Wasserstein distributional robustness of neural networkscited by 15
- 2023LipSim: A Provably Robust Perceptual Similarity Metriccited by 15
- 2021Certifiably Robust Variational Autoencoderscited by 14
- 2021Learning Security Classifiers with Verified Global Robustness Propertiescited by 14
- 2023Robust Weight Signatures: Gaining Robustness as Easy as Patching Weights?cited by 13
- 2021Learning Diverse-Structured Networks for Adversarial Robustnesscited by 12
- 2023Robust low-rank training via approximate orthonormal constraintscited by 12
- 2022Adversarial robustness of sparse local Lipschitz predictorscited by 11
- 2024PROSAC: Provably Safe Certification for Machine Learning Models under Adversarial Attackscited by 11
- 2021Understanding Generalization in Adversarial Training via the Bias-Variance Decompositioncited by 10
- 2022UniCR: Universally Approximated Certified Robustness via Randomized Smoothingcited by 10
- 2021Increasing the Confidence of Deep Neural Networks by Coverage Analysiscited by 9
- 2022Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systemscited by 9
- 2021NoiLIn: Improving Adversarial Training and Correcting Stereotype of Noisy Labelscited by 8
- 2021On the regularized risk of distributionally robust learning over deep neural networkscited by 8
- 2023Asymmetric Certified Robustness via Feature-Convex Neural Networkscited by 8
50 most cited of 182 All 182 (JSON)
- 2026Dynamics to decision: A mathematical theory of Lyapunov spectra and decision boundaries in deep classifiers30 Sep 2026
- 2026LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems29 Sep 2026
- 2026Prediction Dynamics in Depth-Recurrent Language Models18 Sep 2026
- 2026Building Trust in Artificial Intelligence: A Necessity for Railway Applications16 Sep 2026
- 2026On Adversarial Vulnerability of Vision-Language Models through the Lens of Intermediate Spectral Subspaces8 Jul 2026
- 2026When Certificates Fail: A Unified Safety Framework for Embedded Neural Interface Models7 Jul 2026
- 2026Halt Fast! Early Stopping for Certified Robustness26 Jun 2026
- 2026Hybrid Robustness Verification for Spatio-Temporal Neural Networks8 Jun 2026
- 2026RRISE: Robust Radius Inference via a Surrogate Estimator1 Jun 2026
- 2026When Muon Optimizer Meets Adversarial Training: A Theoretical and Empirical Study26 May 2026
- 2026Neural Collapse by Design: Learning Class Prototypes on the Hypersphere19 May 2026
- 2026Semantic Smoothing via Novel View Synthesis for Robust SAR Image Classification15 May 2026
38 more
- 2026Laplace-Bridged Randomized Smoothing for Fast Certified Robustness27 Apr 2026
- 2026On the Robustness of LLM-Based Dense Retrievers: A Systematic Analysis of Generalizability and Stability17 Apr 2026
- 2026Covert Visual Prompt Injection against Commercial Multimodal Large Language Models31 Mar 2026
- 2026Compact Circulant Layers with Spectral Priors25 Feb 2026
- 2026Robustness Verification of Polynomial Neural Networks5 Feb 2026
- 2026Feature-Space Smoothing: Certified Robustness of Deep Representations22 Jan 2026
- 2026Focus on What Matters: Fisher-Guided Adaptive Multimodal Fusion for Vulnerability Detection5 Jan 2026
- 2025TrajSyn: Privacy-Preserving Dataset Distillation from Federated Model Trajectories for Server-Side Adversarial Training17 Dec 2025
- 2025Towards Strong Certified Defense with Universal Asymmetric Randomization22 Oct 2025
- 2025When Flatness Does (Not) Guarantee Adversarial Robustness16 Oct 2025
- 2025Adversarial Attacks Leverage Interference Between Features in Superposition13 Oct 2025
- 2025DReS: Dual Reconstruction Smoothing for Functional Regularization30 Sep 2025
- 2025Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR22 Sep 2025
- 2025Position: Certified Robustness Does Not (Yet) Imply Model Security16 Jun 2025
- 2025Apollo: A Posteriori Label-Only Membership Inference Attack Towards Machine Unlearning11 Jun 2025
- 2025Generalizability vs. Counterfactual Explainability Trade-Off29 May 2025
- 2025RobustSpring: Benchmarking Robustness to Image Corruptions for Optical Flow, Scene Flow and Stereo14 May 2025
- 2025Dynamical Low-Rank Compression of Neural Networks with Robustness under Adversarial Attacks12 May 2025
- 2025A Theoretical Framework for OOD Robustness in Transformers using Gevrey Classes17 Apr 2025
- 2025RDI: An adversarial robustness evaluation metric for deep neural networks based on model statistical features16 Apr 2025
- 2025Adversarial Examples in Environment Perception for Automated Driving (Review)11 Apr 2025
- 2025Lipschitz Constant Meets Condition Number: Learning Robust and Compact Deep Neural Networks26 Mar 2025
- 2025CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Models8 Mar 2025
- 2025Towards the Worst-case Robustness of Large Language Models31 Jan 2025
- 2024Pre-trained Multiple Latent Variable Generative Models are good defenders against Adversarial Attacks4 Dec 2024
- 2024Achieving Domain-Independent Certified Robustness via Knowledge Continuity3 Nov 2024
- 2024CausalDiff: Causality-Inspired Disentanglement via Diffusion Model for Adversarial Defense30 Oct 2024
- 2024Integrating uncertainty quantification into randomized smoothing based robustness guarantees27 Oct 2024
- 2024Is Smoothness the Key to Robustness? A Comparison of Attention and Convolution Models Using a Novel Metric23 Oct 2024
- 2024Collaborative State Fusion in Partially Known Multi-agent Environments19 Oct 2024
- 2024Criticality Leveraged Adversarial Training (CLAT) for Boosted Performance via Parameter Efficiency19 Aug 2024
- 2024Operationalizing the Blueprint for an AI Bill of Rights: Recommendations for Practitioners, Researchers, and Policy Makers11 Jul 2024
- 2024Certified Continual Learning for Neural Network Regression9 Jul 2024
- 2024SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing3 Jul 2024
- 2024Over-parameterization and Adversarial Robustness in Neural Networks: An Overview and Empirical Analysis14 Jun 2024
- 2024Neural Gaussian Scale-Space Fields31 May 2024
- 2024Spectral regularization for adversarially-robust representation learning27 May 2024
- 2024The Uncanny Valley: Exploring Adversarial Robustness from a Flatness Perspective27 May 2024
50 newest of 182 All 182 (JSON)
- 2025CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Modelscited by 0
- 2026Covert Visual Prompt Injection against Commercial Multimodal Large Language Modelscited by 0
- 2026On Adversarial Vulnerability of Vision-Language Models through the Lens of Intermediate Spectral Subspacescited by 0
- 2026On Adversarial Vulnerability of Vision-Language Models through the Lens of Intermediate Spectral Subspaces8 Jul 2026
- 2026Covert Visual Prompt Injection against Commercial Multimodal Large Language Models31 Mar 2026
- 2025CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Models8 Mar 2025
- 2024WARM: On the Benefits of Weight Averaged Reward Modelscited by 145
- 2024WARM: On the Benefits of Weight Averaged Reward Models22 Jan 2024
- 2021Trustworthy AI: From Principles to Practicescited by 206
- 2021Partial success in closing the gap between human and machine visioncited by 185
- 2021Advances in adversarial attacks and defenses in computer vision: A surveycited by 127
- 2021On the Convergence and Robustness of Adversarial Trainingcited by 127
- 2021Globally-Robust Neural Networkscited by 106
- 2021Orthogonalizing Convolutional Layers with the Cayley Transformcited by 105
- 2021AugMax: Adversarial Composition of Random Augmentations for Robust Trainingcited by 89
- 2021Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Boundscited by 64
- 2023A Unified Algebraic Perspective on Lipschitz Neural Networkscited by 58
- 2021Relating Adversarially Robust Generalization to Flat Minimacited by 57
- 2022Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagationcited by 45
- 2023How Smooth Is Attention?cited by 44
12 most cited of 175 All 175 (JSON)
- 2026Dynamics to decision: A mathematical theory of Lyapunov spectra and decision boundaries in deep classifiers30 Sep 2026
- 2026LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems29 Sep 2026
- 2026Prediction Dynamics in Depth-Recurrent Language Models18 Sep 2026
- 2026Building Trust in Artificial Intelligence: A Necessity for Railway Applications16 Sep 2026
- 2026When Certificates Fail: A Unified Safety Framework for Embedded Neural Interface Models7 Jul 2026
- 2026Halt Fast! Early Stopping for Certified Robustness26 Jun 2026
- 2026Hybrid Robustness Verification for Spatio-Temporal Neural Networks8 Jun 2026
- 2026RRISE: Robust Radius Inference via a Surrogate Estimator1 Jun 2026
- 2026When Muon Optimizer Meets Adversarial Training: A Theoretical and Empirical Study26 May 2026
- 2026Neural Collapse by Design: Learning Class Prototypes on the Hypersphere19 May 2026
- 2026Semantic Smoothing via Novel View Synthesis for Robust SAR Image Classification15 May 2026
- 2026Laplace-Bridged Randomized Smoothing for Fast Certified Robustness27 Apr 2026
12 newest of 175 All 175 (JSON)