research
∙
08/08/2022
Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach
This paper proposes a theoretical and computational framework for traini...
share
research
∙
04/01/2022
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks
We use interval reachability analysis to obtain robustness guarantees fo...
research
∙
12/10/2021
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
Implicit neural networks are a general class of learning models that rep...
research
∙
01/20/2020