Exactly Computing the Local Lipschitz Constant of ReLU Networks
Not on the map. Why?
Abstract (arXiv)
The local Lipschitz constant of a neural network is a useful metric with applications in robustness, generalization, and fairness evaluation. We provide novel analytic results relating the local Lipschitz constant of nonsmooth vector-valued functions to a maximization over the norm of the generalized Jacobian. We present a sufficient condition for which backpropagation always returns an element of the generalized Jacobian, and reframe the problem over this broad class of functions. We show strong inapproximability results for estimating Lipschitz constants of ReLU networks, and then formulate an algorithm to compute these quantities exactly. We leverage this algorithm to evaluate the tightness of competing Lipschitz estimators and the effects of regularized training on the Lipschitz constant.
Key facts. Cited by 102 papers in the map (data through 7 Oct 2026). First posted on arXiv 2 Mar 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 14; 2022: 21; 2023: 20; 2024: 19; 2025: 20; 2026: 8.
102 papers.
Sort:
By area:
- 2022Learning Smooth Neural Functions via Lipschitz Regularizationcited by 86
- 2021Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Boundscited by 64
- 2022Contrastive Adapters for Foundation Model Group Robustnesscited by 62
- 2022Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagationcited by 45
- 2025On Vanishing Gradients, Over-Smoothing, and Over-Squashing in GNNs: Bridging Recurrent and Graph Learningcited by 42
- 2022On the Effectiveness of Lipschitz-Driven Rehearsal in Continual Learningcited by 39
- 2023When Deep Learning Meets Polyhedral Theory: A Surveycited by 39
- 2023Some Fundamental Aspects about Lipschitz Continuity of Neural Networkscited by 25
- 2021Measuring Generalization with Optimal Transportcited by 24
- 2021ANCER: Anisotropic Certification via Sample-wise Volume Maximizationcited by 23
- 2021Learning by Transference: Training Graph Neural Networks on Growing Graphscited by 22
- 2021Parameterizing Activation Functions for Adversarial Robustnesscited by 22
38 more
- 2023Efficient Bound of Lipschitz Constant for Convolutional Layers by Gram Iterationcited by 19
- 2023Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularizationcited by 19
- 2023Improving the Accuracy-Robustness Trade-Off of Classifiers via Adaptive Smoothingcited by 18
- 2021LipBaB: Computing exact Lipschitz constant of ReLU networkscited by 16
- 2022A Quantitative Geometric Approach to Neural-Network Smoothnesscited by 16
- 2022Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networkscited by 15
- 2021Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systemscited by 13
- 2021Reliably-stabilizing piecewise-affine neural network controllerscited by 13
- 2022Instance-Dependent Generalization Bounds via Optimal Transportcited by 13
- 2024Gradient-Regularized Out-of-Distribution Detectioncited by 13
- 2021Analytical bounds on the local Lipschitz constants of ReLU networkscited by 12
- 2021On the Impact of Hard Adversarial Instances on Overfitting in Adversarial Trainingcited by 11
- 2022Spelunking the Deep: Guaranteed Queries on General Neural Implicit Surfaces via Range Analysiscited by 11
- 2022Adversarial robustness of sparse local Lipschitz predictorscited by 11
- 2022Learning-based Design of Luenberger Observers for Autonomous Nonlinear Systemscited by 11
- 2022Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systemscited by 11
- 2023On the Lipschitz Constant of Deep Networks and Double Descentcited by 11
- 2022Stability Verification of Neural Network Controllers using Mixed-Integer Programmingcited by 10
- 2023Injectivity of ReLU networks: perspectives from statistical physicscited by 10
- 2023Robust One-Class Classification with Signed Distance Function using 1-Lipschitz Neural Networkscited by 10
- 2024ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networkscited by 10
- 2024Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifierscited by 10
- 2025Safe exploration in reproducing kernel Hilbert spacescited by 10
- 2024Lipschitz constant estimation for general neural network architectures using control toolscited by 8
- 20241-Lipschitz Neural Distance Fieldscited by 8
- 2021Provable Lipschitz Certification for Generative Modelscited by 7
- 2022Memory-efficient model-based deep learning with convergence and robustness guaranteescited by 7
- 2022One-vs-the-Rest Loss to Focus on Important Samples in Adversarial Trainingcited by 7
- 2024Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisationcited by 7
- 2025The Computational Complexity of Counting Linear Regions in ReLU Neural Networkscited by 7
- 2023CertViT: Certified Robustness of Pre-Trained Vision Transformerscited by 6
- 2024Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activationscited by 6
- 2021What training reveals about neural network complexitycited by 5
- 2021Adaptive Differentially Private Empirical Risk Minimizationcited by 5
- 2022Zonotope Domains for Lagrangian Neural Network Verificationcited by 5
- 2023A Certified Radius-Guided Attack Framework to Image Segmentation Modelscited by 5
- 2023Hybrid Zonotopes Exactly Represent ReLU Neural Networkscited by 4
- 2024Probabilistic Lipschitzness and the Stable Rank for Comparing Explanation Modelscited by 4
50 most cited of 102 All 102 (JSON)
- 2026High Probability Derivative Bounds for Random tanh Neural Networks on a Hypercube27 Aug 2026
- 2026Parameterized Complexity of Lp-Lipschitz Constants for Input Convex Neural Networks and Lp-Norm Maximization over Zonotopes25 Aug 2026
- 2026Beyond Coefficients: Forecast-Necessity Testing for Interpretable Causal Discovery in Nonlinear Time-Series Models20 Apr 2026
- 2026On the Robustness of LLM-Based Dense Retrievers: A Systematic Analysis of Generalizability and Stability17 Apr 2026
- 2026Demystifying Lipschitz verification: positive matrices, negative results30 Mar 2026
- 2026ExLipBaB: Exact Lipschitz Constant Computation for Piecewise Linear Neural Networks17 Feb 2026
- 2026Jacobian Regularization Stabilizes Long-Term Integration of Neural Differential Equations4 Feb 2026
- 2026Expert-Data Alignment Governs Generation Quality in Decentralized Diffusion Models2 Feb 2026
- 2025Formal Reasoning About Confidence and Automated Verification of Neural Networks10 Nov 2025
- 2025Lipschitz-aware Linearity Grafting for Certified Robustness29 Oct 2025
- 2025E-MoFlow: Learning Egomotion and Optical Flow from Event Data via Implicit Regularization14 Oct 2025
- 2025Tight Robustness Certificates and Wasserstein Distributional Attacks for Deep Neural Networks11 Oct 2025
38 more
- 2025ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks6 Oct 2025
- 2025Parameterized Hardness of Zonotope Containment and Neural Network Verification26 Sep 2025
- 2025Stochastic Sample Approximations of (Local) Moduli of Continuity18 Sep 2025
- 2025ITL-LIME: Instance-Based Transfer Learning for Enhancing Local Explanations in Low-Resource Data Settings19 Aug 2025
- 2025Phase retrieval with rank d measurements -- descending algorithms phase transitions23 Jun 2025
- 2025Optimal spectral initializers impact on phase retrieval phase transitions -- an RDT view23 Jun 2025
- 2025Phase transition of descending phase retrieval algorithms23 Jun 2025
- 2025The Computational Complexity of Counting Linear Regions in ReLU Neural Networks22 May 2025
- 2025Counterfactual Behavior Cloning: Offline Imitation Learning from Imperfect Human Demonstrations16 May 2025
- 2025TAROT: Towards Essentially Domain-Invariant Robustness with Theoretical Justification10 May 2025
- 2025HiQ-Lip: A Hierarchical Quantum-Classical Method for Global Lipschitz Constant Estimation of ReLU Networks20 Mar 2025
- 2025RAT: Boosting Misclassification Detection Ability without Extra Data18 Mar 2025
- 2025Safe exploration in reproducing kernel Hilbert spaces13 Mar 2025
- 2025On Vanishing Gradients, Over-Smoothing, and Over-Squashing in GNNs: Bridging Recurrent and Graph Learning15 Feb 2025
- 2025KKL Observer Synthesis for Nonlinear Systems via Physics-Informed Learning20 Jan 2025
- 2025Provably Safeguarding a Classifier from OOD and Adversarial Samples: an Extreme Value Theory Approach17 Jan 2025
- 2024Intriguing Properties of Robust Classification5 Dec 2024
- 2024LipKernel: Lipschitz-Bounded Convolutional Neural Networks via Dissipative Layers29 Oct 2024
- 2024Injectivity capacity of ReLU gates28 Oct 2024
- 2024Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation23 Aug 2024
- 2024SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing3 Jul 2024
- 2024Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers26 Jun 2024
- 20241-Lipschitz Neural Distance Fields14 Jun 2024
- 2024Learning conditional distributions on continuous spaces13 Jun 2024
- 2024Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis6 Jun 2024
- 2024Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates2 Jun 2024
- 2024Lipschitz constant estimation for general neural network architectures using control tools2 May 2024
- 2024Lipschitz-Regularized Critics Lead to Policy Robustness Against Transition Dynamics Uncertainty22 Apr 2024
- 2024Gradient-Regularized Out-of-Distribution Detection18 Apr 2024
- 2024ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks5 Apr 2024
- 2024Probabilistic Lipschitzness and the Stable Rank for Comparing Explanation Models29 Feb 2024
- 2024Robustness and Exploration of Variational and Machine Learning Approaches to Inverse Problems: An Overview19 Feb 2024
- 2024Evaluating Adversarial Robustness of Low dose CT Recovery18 Feb 2024
- 2024MIQCQP reformulation of the ReLU neural networks Lipschitz constant estimation problem2 Feb 2024
- 2024Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations25 Jan 2024
- 2023STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers28 Nov 2023
- 2023Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks7 Oct 2023
- 2023Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization29 Sep 2023
50 newest of 102 All 102 (JSON)
- 2023Efficient Symbolic Reasoning for Neural-Network Verification23 Mar 2023
- 2022Learning Smooth Neural Functions via Lipschitz Regularizationcited by 86
- 2021Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Boundscited by 64
- 2022Contrastive Adapters for Foundation Model Group Robustnesscited by 62
- 2022Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagationcited by 45
- 2025On Vanishing Gradients, Over-Smoothing, and Over-Squashing in GNNs: Bridging Recurrent and Graph Learningcited by 42
- 2022On the Effectiveness of Lipschitz-Driven Rehearsal in Continual Learningcited by 39
- 2023When Deep Learning Meets Polyhedral Theory: A Surveycited by 39
- 2023Some Fundamental Aspects about Lipschitz Continuity of Neural Networkscited by 25
- 2021Measuring Generalization with Optimal Transportcited by 24
- 2021ANCER: Anisotropic Certification via Sample-wise Volume Maximizationcited by 23
- 2021Learning by Transference: Training Graph Neural Networks on Growing Graphscited by 22
- 2021Parameterizing Activation Functions for Adversarial Robustnesscited by 22
12 most cited of 99 All 99 (JSON)
- 2026High Probability Derivative Bounds for Random tanh Neural Networks on a Hypercube27 Aug 2026
- 2026Parameterized Complexity of Lp-Lipschitz Constants for Input Convex Neural Networks and Lp-Norm Maximization over Zonotopes25 Aug 2026
- 2026Beyond Coefficients: Forecast-Necessity Testing for Interpretable Causal Discovery in Nonlinear Time-Series Models20 Apr 2026
- 2026On the Robustness of LLM-Based Dense Retrievers: A Systematic Analysis of Generalizability and Stability17 Apr 2026
- 2026Demystifying Lipschitz verification: positive matrices, negative results30 Mar 2026
- 2026ExLipBaB: Exact Lipschitz Constant Computation for Piecewise Linear Neural Networks17 Feb 2026
- 2026Jacobian Regularization Stabilizes Long-Term Integration of Neural Differential Equations4 Feb 2026
- 2025Formal Reasoning About Confidence and Automated Verification of Neural Networks10 Nov 2025
- 2025Lipschitz-aware Linearity Grafting for Certified Robustness29 Oct 2025
- 2025E-MoFlow: Learning Egomotion and Optical Flow from Event Data via Implicit Regularization14 Oct 2025
- 2025Tight Robustness Certificates and Wasserstein Distributional Attacks for Deep Neural Networks11 Oct 2025
- 2025ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks6 Oct 2025
12 newest of 99 All 99 (JSON)