v1v2 (latest)

Training robust neural networks using Lipschitz bounds

IEEE Control Systems Letters (L-CSS), 2020

6 May 2020

Papers citing "Training robust neural networks using Lipschitz bounds"

40 / 90 papers shown

Title
Neurosymbolic Motion and Task Planning for Linear Temporal Logic TasksIEEE Transactions on robotics (TRO), 2022 Xiaowu Sun Yasser Shoukry 143 14 0 11 Oct 2022
Learning Globally Smooth Functions on ManifoldsInternational Conference on Machine Learning (ICML), 2022 J. Cerviño Luiz F. O. Chamon B. Haeffele René Vidal Alejandro Ribeiro 458 6 0 01 Oct 2022
A comment on Guo et al. [arXiv:2206.11228] Ben Lonnqvist Harshitha Machiraju Michael H. Herzog AAML 98 0 0 02 Aug 2022
Analysis and Design of Quadratic Neural Networks for Regression, Classification, and Lyapunov Control of Dynamical Systems L. Rodrigues S. Givigi 100 2 0 26 Jul 2022
On the Number of Regions of Piecewise Linear Neural NetworksJournal of Computational and Applied Mathematics (JCAM), 2022 Alexis Goujon Arian Etemadi M. Unser 254 17 0 17 Jun 2022
Chordal Sparsity for SDP-based Neural Network Verification Anton Xue Lars Lindemann Rajeev Alur 204 3 0 07 Jun 2022
Learning High-Dimensional McKean-Vlasov Forward-Backward Stochastic Differential Equations with General Distribution DependenceSIAM Journal on Numerical Analysis (SINUM), 2022 Jiequn Han Ruimeng Hu Jihao Long AI4CE OOD 152 27 0 25 Apr 2022
Approximation of Lipschitz Functions using Deep Spline Neural NetworksSIAM Journal on Mathematics of Data Science (SIMODS), 2022 Sebastian Neumayer Alexis Goujon Pakshal Bohra M. Unser 125 17 0 13 Apr 2022
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural NetworksIEEE Conference on Decision and Control (CDC), 2022 Anton Xue Lars Lindemann Avi Schwarzschild Hamed Hassani George J. Pappas Rajeev Alur 225 15 0 02 Apr 2022
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural NetworksIEEE Conference on Decision and Control (CDC), 2022 A. Davydov Saber Jafarpour Matthew Abate Francesco Bullo Samuel Coogan 107 3 0 01 Apr 2022
Synthesis of Stabilizing Recurrent Equilibrium Network ControllersIEEE Conference on Decision and Control (CDC), 2022 Neelay Junnarkar He Yin Fangda Gu Murat Arcak Peter M. Seiler 208 13 0 31 Mar 2022
A Quantitative Geometric Approach to Neural-Network SmoothnessNeural Information Processing Systems (NeurIPS), 2022 Zehao Wang Gautam Prakriya S. Jha 268 15 0 02 Mar 2022
A Domain-Theoretic Framework for Robustness Analysis of Neural NetworksMathematical Structures in Computer Science (MSCS), 2022 Can Zhou R. A. Shaikh Yiran Li Amin Farjudian OOD 261 4 0 01 Mar 2022
Learning Neural Networks under Input-Output SpecificationsAmerican Control Conference (ACC), 2022 Z. Abdeen He Yin V. Kekatos Ming Jin 159 9 0 23 Feb 2022
Don't Touch What Matters: Task-Aware Lipschitz Data Augmentation for Visual Reinforcement LearningInternational Joint Conference on Artificial Intelligence (IJCAI), 2022 Zhecheng Yuan Guozheng Ma Yao Mu Bo Xia Bo Yuan Xueqian Wang Ping Luo Huazhe Xu 189 37 0 21 Feb 2022
Neural network training under semidefinite constraintsIEEE Conference on Decision and Control (CDC), 2022 Patricia Pauli Niklas Funcke Dennis Gramlich Mohamed Amine Msalmi Frank Allgöwer GAN 264 18 0 03 Jan 2022
Robust Graph Neural Networks via Probabilistic Lipschitz Constraints R. Arghal Eric Lei Shirin Saeedi Bidokhti 151 21 0 14 Dec 2021
Robustness against Adversarial Attacks in Neural Networks using Incremental Dissipativity B. Aquino Arash Rahnama Peter M. Seiler Lizhen Lin Vijay Gupta AAML 130 10 0 25 Nov 2021
Boosting the Certified Robustness of L-infinity Distance Nets Bohang Zhang Du Jiang Di He Liwei Wang OOD 281 33 0 13 Oct 2021
Parameterizing Activation Functions for Adversarial Robustness Sihui Dai Saeed Mahloujifar Prateek Mittal AAML 160 35 0 11 Oct 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature ReviewInternational Conference on Automated Software Engineering (ASE), 2021 Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 480 80 0 26 Jul 2021
What training reveals about neural network complexityNeural Information Processing Systems (NeurIPS), 2021 Andreas Loukas Marinos Poiitis Stefanie Jegelka 193 12 0 08 Jun 2021
Robust Implicit Networks via Non-Euclidean ContractionsNeural Information Processing Systems (NeurIPS), 2021 Saber Jafarpour A. Davydov A. Proskurnikov Francesco Bullo 359 47 0 06 Jun 2021
Hamiltonian Deep Neural Networks Guaranteeing Non-vanishing Gradients by DesignIEEE Transactions on Automatic Control (IEEE TAC), 2021 C. Galimberti Luca Furieri Liang Xu Giancarlo Ferrari-Trecate 163 48 0 27 May 2021
Recurrent Equilibrium Networks: Flexible Dynamic Models with Guaranteed Stability and RobustnessIEEE Transactions on Automatic Control (IEEE TAC), 2021 Max Revay Ruigang Wang I. Manchester 237 88 0 13 Apr 2021
Generalization of GANs and overparameterized models under Lipschitz continuity Khoat Than Nghia D. Vu AI4CE 211 2 0 06 Apr 2021
Neural Network Robustness as a Verification Property: A Principled Case StudyInternational Conference on Computer Aided Verification (CAV), 2021 Marco Casadio Ekaterina Komendantskaya M. Daggitt Wen Kokke Guy Katz Guy Amir Idan Refaeli OOD AAML 184 49 0 03 Apr 2021
Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliersIEEE Conference on Decision and Control (CDC), 2021 Patricia Pauli Dennis Gramlich J. Berberich Frank Allgöwer 166 31 0 31 Mar 2021
Approximating Probability Distributions by using Wasserstein Generative Adversarial NetworksSIAM Journal on Mathematics of Data Science (SIMODS), 2021 Yihang Gao Michael K. Ng Mingjie Zhou GAN 331 2 0 18 Mar 2021
Provably Correct Training of Neural Network Controllers Using Reachability Analysis Xiaowu Sun Yasser Shoukry 173 7 0 22 Feb 2021
Globally-Robust Neural NetworksInternational Conference on Machine Learning (ICML), 2021 Klas Leino Zifan Wang Matt Fredrikson AAML OOD 268 144 0 16 Feb 2021
Certifying Incremental Quadratic Constraints for Neural Networks via Convex OptimizationConference on Learning for Dynamics & Control (L4DC), 2020 Navid Hashemi Justin Ruths Mahyar Fazlyab 366 23 0 10 Dec 2020
Dissipative Deep Neural Dynamical Systems Ján Drgoňa Soumya Vasisht Aaron Tuor D. Vrabie 284 11 0 26 Nov 2020
Offset-free setpoint tracking using neural network controllersConference on Learning for Dynamics & Control (L4DC), 2020 Patricia Pauli Johannes Köhler J. Berberich Anne Koch Frank Allgöwer 138 24 0 23 Nov 2020
Lipschitz Bounded Equilibrium Networks Max Revay Ruigang Wang I. Manchester 190 83 0 05 Oct 2020
System Identification Through Lipschitz Regularized Deep Neural NetworksJournal of Computational Physics (JCP), 2020 Elisa Negrini G. Citti L. Capogna 160 13 0 07 Sep 2020
How Good is your Explanation? Algorithmic Stability Measures to Assess the Quality of Explanations for Deep Neural NetworksIEEE Workshop/Winter Conference on Applications of Computer Vision (WACV), 2020 Thomas Fel David Vigouroux Rémi Cadène Thomas Serre XAI FAtt 369 34 0 07 Sep 2020
Convergence of Deep Fictitious Play for Stochastic Differential Games Jiequn Han Ruimeng Hu Jihao Long 269 22 0 12 Aug 2020
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers James Ferlez Mahmoud M. Elnaggar Yasser Shoukry C. Fleming AAML 288 36 0 16 Jun 2020
Lipschitz Bounds and Provably Robust Training by Laplacian Smoothing Vishaal Krishnan Abed AlRahman Al Makdah Fabio Pasqualetti OOD AAML 282 25 0 05 Jun 2020