Research map / Optimization / Optimizers
On the Verification of Neural ODEs with Stochastic Guarantees
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Use forward-mode adjoint sensitivity to compute optimization gradients | SLR optimization · Neural ODE reachability verification | runtime: 50% | Helped |
| Construct reachsets with SLR rather than deterministic interval-propagation methods | Neural ODE reachability verification · Neural ODE reachability verification | wrapping effect | Helped |
| Use uniform global sampling together with local gradient descent | SLR · Neural ODE reachability verification | reachset-bound tightness | Helped |
| Skip local optimization inside certified spherical-cap safety regions | SLR · Neural ODE reachability verification | optimization work | Helped |
| Reinitialize the search at each timestep instead of propagating prior reachset approximations | SLR reachtube construction · Neural ODE reachability verification | wrapping effect | Helped |
Closest papers by meaning
- How Deep Do We Need: Accelerating Training and Inference of Neural ODEs via Control Perspective (ICML 2024 · similarity 0.87)
- Neural Stochastic Flows: Solver-Free Modelling and Inference for SDE Solutions (NeurIPS 2025 · similarity 0.86)
- Efficient Training of Neural Stochastic Differential Equations by Matching Finite Dimensional Distributions (ICLR 2025 · similarity 0.86)
- Convergence Rate in a Nonlinear Two-Time-Scale Stochastic Approximation with State (Time)-Dependence (AAAI 2025 · similarity 0.85)
- The Global Convergence Time of Stochastic Gradient Descent in Non-Convex Landscapes: Sharp Estimates via Large Deviations (ICML 2025 · similarity 0.85)
- Learning Physics Informed Neural ODEs with Partial Measurements (AAAI 2025 · similarity 0.85)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.