Exactly Computing the Local Lipschitz Constant of ReLU Networks

2 March 2020

Papers citing "Exactly Computing the Local Lipschitz Constant of ReLU Networks"

36 / 36 papers shown

Title
TAROT: Towards Essentially Domain-Invariant Robustness with Theoretical Justification Dongyoon Yang Jihu Lee Yongdai Kim 29 0 0 10 May 2025
SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing Meiyu Zhong Ravi Tandon 44 3 0 03 Jul 2024
Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers Jonas Ngnawé Sabyasachi Sahoo Y. Pequignot Frédéric Precioso Christian Gagné AAML 42 0 0 26 Jun 2024
1-Lipschitz Neural Distance Fields Guillaume Coiffier Louis Bethune 43 3 0 14 Jun 2024
Explicit Lipschitz Value Estimation Enhances Policy Robustness Against Perturbation Xulin Chen Ruipeng Liu Garret E. Katz 44 0 0 22 Apr 2024
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks Brendon G. Anderson Samuel Pfrommer Somayeh Sojoudi OOD 34 1 0 07 Oct 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 16 11 0 29 Sep 2023
Certified Robust Models with Slack Control and Large Lipschitz Constants M. Losch David Stutz Bernt Schiele Mario Fritz 14 4 0 12 Sep 2023
Statistically Optimal Generative Modeling with Maximum Deviation from the Empirical Distribution Elen Vardanyan Sona Hunanyan T. Galstyan A. Minasyan A. Dalalyan 37 2 0 31 Jul 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 33 0 29 Apr 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 33 8 0 07 Mar 2023
Injectivity of ReLU networks: perspectives from statistical physics Antoine Maillard Afonso S. Bandeira David Belius Ivan Dokmanić S. Nakajima 33 5 0 27 Feb 2023
Improving the Accuracy-Robustness Trade-Off of Classifiers via Adaptive Smoothing Yatong Bai Brendon G. Anderson Aerin Kim Somayeh Sojoudi AAML 36 18 0 29 Jan 2023
On the Lipschitz Constant of Deep Networks and Double Descent Matteo Gamba Hossein Azizpour Mårten Björkman 33 7 0 28 Jan 2023
Certified Interpretability Robustness for Class Activation Mapping Alex Gu Tsui-Wei Weng Pin-Yu Chen Sijia Liu Lucani E. Daniel AAML 29 2 0 26 Jan 2023
AdvCat: Domain-Agnostic Robustness Assessment for Cybersecurity-Critical Applications with Categorical Inputs Helene Orsini Hongyan Bao Yujun Zhou Xiangrui Xu Yufei Han Longyang Yi Wei Wang Xin Gao Xiangliang Zhang AAML 44 1 0 13 Dec 2022
Instance-Dependent Generalization Bounds via Optimal Transport Songyan Hou Parnian Kassraie Anastasis Kratsios Andreas Krause Jonas Rothfuss 22 6 0 02 Nov 2022
Learning-based Design of Luenberger Observers for Autonomous Nonlinear Systems Muhammad Umar B. Niazi Johnson R. Cao Xu-yang Sun Amritam Das Karl H. Johansson OOD 15 22 0 04 Oct 2022
Contrastive Adapters for Foundation Model Group Robustness Michael Zhang Christopher Ré VLM 18 62 0 14 Jul 2022
Stability Verification of Neural Network Controllers using Mixed-Integer Programming Roland Schwan Colin N. Jones Daniel Kuhn 35 24 0 27 Jun 2022
Riemannian data-dependent randomized smoothing for neural networks certification Pol Labarbarie H. Hajri M. Arnaudon 29 4 0 21 Jun 2022
Robust stabilization of polytopic systems via fast and reliable neural network-based approximations F. Fabiani Paul Goulart 22 5 0 27 Apr 2022
A Quantitative Geometric Approach to Neural-Network Smoothness Zehao Wang Gautam Prakriya S. Jha 43 13 0 02 Mar 2022
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks Can Zhou R. A. Shaikh Yiran Li Amin Farjudian OOD 38 4 0 01 Mar 2022
Adversarial robustness of sparse local Lipschitz predictors Ramchandran Muthukumar Jeremias Sulam AAML 32 13 0 26 Feb 2022
On the Impact of Hard Adversarial Instances on Overfitting in Adversarial Training Chen Liu Zhichao Huang Mathieu Salzmann Tong Zhang Sabine Süsstrunk AAML 23 13 0 14 Dec 2021
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds Yujia Huang Huan Zhang Yuanyuan Shi J Zico Kolter Anima Anandkumar 38 76 0 02 Nov 2021
Adaptive Differentially Private Empirical Risk Minimization Xiaoxia Wu Lingxiao Wang Irina Cristali Quanquan Gu Rebecca Willett 38 6 0 14 Oct 2021
Parameterizing Activation Functions for Adversarial Robustness Sihui Dai Saeed Mahloujifar Prateek Mittal AAML 42 32 0 11 Oct 2021
Provable Lipschitz Certification for Generative Models Matt Jordan A. Dimakis 22 14 0 06 Jul 2021
Analytical bounds on the local Lipschitz constants of ReLU networks Trevor Avant K. Morgansen FAtt 21 12 0 29 Apr 2021
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems Glen Chou N. Ozay Dmitry Berenson 32 25 0 18 Apr 2021
Planning with Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants Craig Knuth Glen Chou N. Ozay Dmitry Berenson 24 33 0 18 Oct 2020
NASGEM: Neural Architecture Search via Graph Embedding Method Hsin-Pai Cheng Tunhou Zhang Yixing Zhang Shiyu Li Feng Liang Feng Yan Meng Li Vikas Chandra H. Li Yiran Chen GNN 29 19 0 08 Jul 2020
Training robust neural networks using Lipschitz bounds Patricia Pauli Anne Koch J. Berberich Paul Kohler Frank Allgöwer 19 156 0 06 May 2020
A Closer Look at Accuracy vs. Robustness Yao-Yuan Yang Cyrus Rashtchian Hongyang R. Zhang Ruslan Salakhutdinov Kamalika Chaudhuri OOD 74 26 0 05 Mar 2020