news
| May 28, 2025 | Our paper “Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification” was accepted in SAIV 2025 co-located with CAV 2025 |
|---|
| May 28, 2025 | Our paper “Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification” was accepted in SAIV 2025 co-located with CAV 2025 |
|---|