Picture for Sophie Tarbouriech

Sophie Tarbouriech

Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification

Add code
Oct 17, 2023
Viaarxiv icon

Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers

Add code
Feb 09, 2022
Figure 1 for Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers
Viaarxiv icon