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 53 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 48 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 87 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 73 231 0 04 Mar 2019
Sorting out Lipschitz function approximation Cem Anil James Lucas Roger C. Grosse 80 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 454 12,680 0 11 Dec 2014