Picture for Yoshio Ebihara

Yoshio Ebihara

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

Add code
Oct 17, 2023
Figure 1 for Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
Figure 2 for Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
Figure 3 for Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
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