SAIV 2025

Speaker

Mohamed Ghazel

Talks at this conference:
 Mon, 11:00 Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification

 Overview