v1v2 (latest)

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 / 270 papers shown

Title
Convolutional Neural Networks as 2-D systems Dennis Gramlich Patricia Pauli C. Scherer Frank Allgöwer C. Ebenbauer 3DV 54 8 0 06 Mar 2023
Injectivity of ReLU networks: perspectives from statistical physics Antoine Maillard Afonso S. Bandeira David Belius Ivan Dokmanić S. Nakajima 60 5 0 27 Feb 2023
Some Fundamental Aspects about Lipschitz Continuity of Neural Networks Grigory Khromov Sidak Pal Singh 155 8 0 21 Feb 2023
Leveraging Prior Knowledge in Reinforcement Learning via Double-Sided Bounds on the Value Function Jacob Adamczyk Stas Tiomkin R. Kulkarni OffRL 25 0 0 19 Feb 2023
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency Mohanad Odema James Ferlez Goli Vaisi Yasser Shoukry M. A. Al Faruque 61 3 0 13 Feb 2023
CQnet: convex-geometric interpretation and constraining neural-network trajectories Bas Peters 68 0 0 09 Feb 2023
Shared Information-Based Safe And Efficient Behavior Planning For Connected Autonomous Vehicles Songyang Han Shangli Zhou Lynn Pepin Jiangwei Wang Caiwen Ding Fei Miao 36 1 0 08 Feb 2023
Asymmetric Certified Robustness via Feature-Convex Neural Networks Samuel Pfrommer Brendon G. Anderson Julien Piet Somayeh Sojoudi AAML 90 8 0 03 Feb 2023
Continuous U-Net: Faster, Greater and Noiseless Chunyang Cheng Christina Runkel Lihao Liu Raymond H. F. Chan Carola-Bibiane Schönlieb Angelica I Aviles-Rivero SSeg 80 10 0 01 Feb 2023
CertViT: Certified Robustness of Pre-Trained Vision Transformers K. Gupta S. Verma ViT 60 5 0 01 Feb 2023
Improving the Accuracy-Robustness Trade-Off of Classifiers via Adaptive Smoothing Yatong Bai Brendon G. Anderson Aerin Kim Somayeh Sojoudi AAML 123 19 0 29 Jan 2023
Direct Parameterization of Lipschitz-Bounded Deep Networks Ruigang Wang I. Manchester 129 47 0 27 Jan 2023
Certified Interpretability Robustness for Class Activation Mapping Alex Gu Tsui-Wei Weng Pin-Yu Chen Sijia Liu Lucani E. Daniel AAML 56 2 0 26 Jan 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour Akash Harapanahalli Samuel Coogan 75 10 0 19 Jan 2023
Mixed moving average field guided learning for spatio-temporal data I. Curato O. Furat Lorenzo Proietti Bennet Stroeh AI4TS 106 2 0 02 Jan 2023
Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systems Craig Knuth Glen Chou Jamie Reese Joseph L. Moore 72 5 0 13 Dec 2022
Score-based Generative Modeling Secretly Minimizes the Wasserstein Distance Dohyun Kwon Ying Fan Kangwook Lee DiffM 74 54 0 13 Dec 2022
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 50 2 0 12 Dec 2022
Refiner: Data Refining against Gradient Leakage Attacks in Federated Learning Mingyuan Fan Cen Chen Chengyu Wang Ximeng Liu Wenmeng Zhou AAML FedML 110 0 0 05 Dec 2022
Lipschitz constant estimation for 1D convolutional neural networks Patricia Pauli Dennis Gramlich Frank Allgöwer 53 13 0 28 Nov 2022
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic Wael Fatnassi Haitham Khedr Valen Yamamoto Yasser Shoukry 53 7 0 22 Nov 2022
Provable Defense against Backdoor Policies in Reinforcement Learning S. Bharti Xuezhou Zhang Adish Singla Xiaojin Zhu AAML 72 23 0 18 Nov 2022
Path Planning Using Wassertein Distributionally Robust Deep Q-learning Cem Alptürk Venkatraman Renganathan OOD 44 0 0 04 Nov 2022
Instance-Dependent Generalization Bounds via Optimal Transport Songyan Hou Parnian Kassraie Anastasis Kratsios Andreas Krause Jonas Rothfuss 108 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 104 6 0 01 Nov 2022
Improving Adversarial Robustness via Joint Classification and Multiple Explicit Detection Classes Sina Baharlouei Fatemeh Sheikholeslami Meisam Razaviyayn Zico Kolter AAML 85 6 0 26 Oct 2022
$LOT: Layer-wise Orthogonal Training on Improving $\ell_2$ Certified Robustness$ LOT: Layer-wise Orthogonal Training on Improving $\ell_2$ Certified Robustness Xiaojun Xu Linyi Li Yue Liu OOD AAML 91 34 0 20 Oct 2022
Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan J. Hayase A. Dimakis Sewoong Oh 83 3 0 14 Oct 2022
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation Zhouxing Shi Yihan Wang Huan Zhang Zico Kolter Cho-Jui Hsieh 156 42 0 13 Oct 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 89 11 0 11 Oct 2022
Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective Bohang Zhang Du Jiang Di He Liwei Wang OOD 86 53 0 04 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 50 22 0 04 Oct 2022
Learning Globally Smooth Functions on Manifolds J. Cerviño Luiz F. O. Chamon B. Haeffele René Vidal Alejandro Ribeiro 105 6 0 01 Oct 2022
Neural Observer with Lyapunov Stability Guarantee for Uncertain Nonlinear Systems Song Chen Shengze Cai Tehuan Chen Chao Xu Jian Chu 67 5 0 27 Aug 2022
Risk Verification of Stochastic Systems with Neural Network Controllers Matthew Cleaveland Lars Lindemann Radoslav Ivanov George Pappas 91 9 0 26 Aug 2022
An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models Brendon G. Anderson Tanmay Gautam Somayeh Sojoudi OOD 53 2 0 15 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 62 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 57 2 0 26 Jul 2022
Verifying Fairness in Quantum Machine Learning J. Guan Wang Fang Mingsheng Ying FaML 56 11 0 22 Jul 2022
Log Barriers for Safe Black-box Optimization with Application to Safe Reinforcement Learning Ilnura N. Usmanova Yarden As Maryam Kamgarpour Andreas Krause OffRL 130 10 0 21 Jul 2022
Lipschitz Bound Analysis of Neural Networks S. Bose AAML 59 0 0 14 Jul 2022
Contrastive Adapters for Foundation Model Group Robustness Michael Zhang Christopher Ré VLM 54 64 0 14 Jul 2022
Can Push-forward Generative Models Fit Multimodal Distributions? Antoine Salmona Valentin De Bortoli J. Delon A. Desolneux DiffM 88 39 0 29 Jun 2022
Analyzing Explainer Robustness via Probabilistic Lipschitzness of Prediction Functions Zulqarnain Khan Davin Hill A. Masoomi Joshua Bone Jennifer Dy AAML 138 4 0 24 Jun 2022
Chordal Sparsity for SDP-based Neural Network Verification Anton Xue Lars Lindemann Rajeev Alur 97 2 0 07 Jun 2022
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees Rui Zhou Thanin Quartz H. Sterck Jun Liu 75 51 0 04 Jun 2022
Safety Certification for Stochastic Systems via Neural Barrier Functions Frederik Baymler Mathiesen S. Calvert Luca Laurenti 95 39 0 03 Jun 2022
The robust way to stack and bag: the local Lipschitz way Thulasi Tholeti Sheetal Kalyani AAML 47 5 0 01 Jun 2022
Bring Your Own Algorithm for Optimal Differentially Private Stochastic Minimax Optimization Liang Zhang K. K. Thekumparampil Sewoong Oh Niao He 92 20 0 01 Jun 2022
CertiFair: A Framework for Certified Global Fairness of Neural Networks Haitham Khedr Yasser Shoukry FedML 80 23 0 20 May 2022