A Complete Set of Quadratic Constraints for Repeated ReLU and
Generalizations

A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations

9 July 2024

Sahel Vahedi Noori

Peter M. Seiler

Papers citing "A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations"

12 / 12 papers shown

Title
Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks Sahel Vahedi Noori Bin Hu Geir Dullerud Peter M. Seiler 47 2 0 08 May 2024
Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations Patricia Pauli Aaron J. Havens Alexandre Araujo Siddharth Garg Farshad Khorrami Frank Allgöwer Bin Hu 86 4 0 25 Jan 2024
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 51 11 0 29 Sep 2023
A Unified Algebraic Perspective on Lipschitz Neural Networks Alexandre Araujo Aaron J. Havens Blaise Delattre A. Allauzen Bin Hu AAML 53 56 0 06 Mar 2023
A Quantitative Geometric Approach to Neural-Network Smoothness Zehao Wang Gautam Prakriya S. Jha 76 13 0 02 Mar 2022
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers Y. Ebihara Hayato Waki Victor Magron N. Mai D. Peaucelle Sophie Tarbouriech 32 9 0 09 Feb 2022
Reduced-Order Neural Network Synthesis with Robustness Guarantees R. Drummond M. Turner S. Duncan 46 10 0 18 Feb 2021
Approximating Lipschitz continuous functions with GroupSort neural networks Ugo Tanielian Maxime Sangnier Gérard Biau 46 36 0 09 Jun 2020
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks Mahyar Fazlyab Alexander Robey Hamed Hassani M. Morari George J. Pappas 81 456 0 12 Jun 2019
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 70 231 0 04 Mar 2019
Sorting out Lipschitz function approximation Cem Anil James Lucas Roger C. Grosse 77 321 0 13 Nov 2018
Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling Junyoung Chung Çağlar Gülçehre Kyunghyun Cho Yoshua Bengio 420 12,680 0 11 Dec 2014

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.