SAIV 2025

Speaker

Pierre-Jean Meyer

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

 Overview