Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks

12 June 2019

George J. Pappas

Papers citing "Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks"

50 / 105 papers shown

Title
Enhancing Certified Robustness via Block Reflector Orthogonal Layers and Logit Annealing Loss Bo-Han Lai Pin-Han Huang Bo-Han Kung Shang-Tse Chen 12 0 0 21 May 2025
Probabilistic Stability Guarantees for Feature Attributions Helen Jin Anton Xue Weiqiu You Surbhi Goel Eric Wong 29 0 0 18 Apr 2025
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 78 15 0 31 Aug 2024
SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing Meiyu Zhong Ravi Tandon 44 3 0 03 Jul 2024
Compositional Curvature Bounds for Deep Neural Networks Taha Entesari Sina Sharifi Mahyar Fazlyab AAML 44 0 0 07 Jun 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 41 1 0 27 May 2024
On Robust Reinforcement Learning with Lipschitz-Bounded Policy Networks Nicholas H. Barbara Ruigang Wang I. Manchester 45 4 0 19 May 2024
Distributionally Robust Policy and Lyapunov-Certificate Learning Kehan Long Jorge Cortés Nikolay Atanasov 44 3 0 03 Apr 2024
Computing conservative probabilities of rare events with surrogates Nicolas Bousquet 30 0 0 26 Mar 2024
Stable Neural Stochastic Differential Equations in Analyzing Irregular Time Series Data YongKyung Oh Dongyoung Lim Sungil Kim AI4TS 43 13 0 22 Feb 2024
Monotone, Bi-Lipschitz, and Polyak-Lojasiewicz Networks Ruigang Wang Krishnamurthy Dvijotham I. Manchester 36 5 0 02 Feb 2024
Input Convex Lipschitz RNN: A Fast and Robust Approach for Engineering Tasks Zihao Wang Zhe Wu 25 3 0 15 Jan 2024
How Smooth Is Attention? Valérie Castin Pierre Ablin Gabriel Peyré AAML 40 9 0 22 Dec 2023
Mixing Classifiers to Alleviate the Accuracy-Robustness Trade-Off Yatong Bai Brendon G. Anderson Somayeh Sojoudi AAML 35 2 0 26 Nov 2023
On diffusion-based generative models and their error bounds: The log-concave case with full convergence estimates Stefano Bruno Ying Zhang Dong-Young Lim Ömer Deniz Akyildiz Sotirios Sabanis DiffM 40 4 0 22 Nov 2023
DP-SGD with weight clipping Antoine Barczewski Jan Ramon 13 1 0 27 Oct 2023
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks Brendon G. Anderson Samuel Pfrommer Somayeh Sojoudi OOD 37 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
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques Sophie A. Neubauer Radu Grosu 20 0 0 23 Aug 2023
Decoupled Rationalization with Asymmetric Learning Rates: A Flexible Lipschitz Restraint Wei Liu Jun Wang Yining Qi Rui Li Yang Qiu Yuankai Zhang Jie Han Yixiong Zou 49 12 0 23 May 2023
Uncertainty Estimation and Out-of-Distribution Detection for Deep Learning-Based Image Reconstruction using the Local Lipschitz D. Bhutto Bo Zhu J. Liu Neha Koonjoo H. Li Bruce Rosen Matthew S. Rosen UQCV OOD 15 2 0 12 May 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
The Power of Typed Affine Decision Structures: A Case Study Gerrit Nolte Maximilian Schlüter Alnis Murtovi Bernhard Steffen AAML 20 3 0 28 Apr 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 43 5 0 07 Apr 2023
Diffusion Denoised Smoothing for Certified and Adversarial Robust Out-Of-Distribution Detection Nicola Franco Daniel Korth J. Lorenz Karsten Roscher Stephan Guennemann 33 5 0 27 Mar 2023
Lipschitz-bounded 1D convolutional neural networks using the Cayley transform and the controllability Gramian Patricia Pauli Ruigang Wang I. Manchester Frank Allgöwer 32 8 0 20 Mar 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
A Unified Algebraic Perspective on Lipschitz Neural Networks Alexandre Araujo Aaron J. Havens Blaise Delattre A. Allauzen Bin Hu AAML 36 53 0 06 Mar 2023
Convolutional Neural Networks as 2-D systems Dennis Gramlich Patricia Pauli C. Scherer Frank Allgöwer C. Ebenbauer 3DV 36 8 0 06 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
CQnet: convex-geometric interpretation and constraining neural-network trajectories Bas Peters 35 0 0 09 Feb 2023
Improving the Accuracy-Robustness Trade-Off of Classifiers via Adaptive Smoothing Yatong Bai Brendon G. Anderson Aerin Kim Somayeh Sojoudi AAML 41 18 0 29 Jan 2023
Certified Interpretability Robustness for Class Activation Mapping Alex Gu Tsui-Wei Weng Pin-Yu Chen Sijia Liu Lucani E. Daniel AAML 34 2 0 26 Jan 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour Akash Harapanahalli Samuel Coogan 39 10 0 19 Jan 2023
Mixed moving average field guided learning for spatio-temporal data I. Curato O. Furat Lorenzo Proietti Bennet Stroeh AI4TS 28 2 0 02 Jan 2023
Robust Recurrent Neural Network to Identify Ship Motion in Open Water with Performance Guarantees -- Technical Report Daniel Frank Decky Aspandi Latif Michael Muehlebach Benjamin Unger Steffen Staab 29 2 0 12 Dec 2022
Lipschitz constant estimation for 1D convolutional neural networks Patricia Pauli Dennis Gramlich Frank Allgöwer 31 13 0 28 Nov 2022
Provable Defense against Backdoor Policies in Reinforcement Learning S. Bharti Xuezhou Zhang Adish Singla Xiaojin Zhu AAML 12 19 0 18 Nov 2022
Path Planning Using Wassertein Distributionally Robust Deep Q-learning Cem Alptürk Venkatraman Renganathan OOD 21 0 0 04 Nov 2022
Instance-Dependent Generalization Bounds via Optimal Transport Songyan Hou Parnian Kassraie Anastasis Kratsios Andreas Krause Jonas Rothfuss 22 6 0 02 Nov 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 46 6 0 01 Nov 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 48 11 0 11 Oct 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
Neural Observer with Lyapunov Stability Guarantee for Uncertain Nonlinear Systems Song Chen Shengze Cai Tehuan Chen Chao Xu Jian Chu 22 5 0 27 Aug 2022
Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach Saber Jafarpour A. Davydov Matthew Abate Francesco Bullo Samuel Coogan 13 1 0 08 Aug 2022
Analysis and Design of Quadratic Neural Networks for Regression, Classification, and Lyapunov Control of Dynamical Systems L. Rodrigues S. Givigi 30 2 0 26 Jul 2022
Verifying Fairness in Quantum Machine Learning J. Guan Wang Fang Mingsheng Ying FaML 24 11 0 22 Jul 2022
Lipschitz Bound Analysis of Neural Networks S. Bose AAML 36 0 0 14 Jul 2022
Contrastive Adapters for Foundation Model Group Robustness Michael Zhang Christopher Ré VLM 23 62 0 14 Jul 2022