news
| Nov 13, 2025 | My PhD summary paper “Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles” was accepted in AAAI 26 Doctoral Consortium in Singapore and I was awarded a Travel award |
|---|---|
| Oct 09, 2025 | I will present our work on Bridging Neural ODE and ResNet at the Workshop on cautiousness and imprecision in machine learning (CIML 2025) at Sorbonne Université |
| Oct 01, 2025 | I will present our work on Bridging Neural ODE and ResNet at the AI Seminar of Université Gustave Eiffel |
| Sep 23, 2025 | Our paper “Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency” was accepted in NeurReps 2025 co-located with NeurIPS 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 |
| Nov 11, 2024 | Master’s thesis opportunity on "Connecting Discrete and Continuous Neural Network Models" |