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 |
|---|---|
| Nov 11, 2024 | Master’s thesis opportunity on "Connecting Discrete and Continuous Neural Network Models" |