This paper proposes a theoretical and computational framework for traini...
We use interval reachability analysis to obtain robustness guarantees fo...
Implicit neural networks are a general class of learning models that rep...
Safety requirements in dynamical systems are commonly enforced with set
...