Mar 02, 2026 Hyper KKL paper was accepted in Artificial Intelligence and Partial Differential Equations AI & PDE co-located with ICLR 2026 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"