TNODEV is the first sound neural-ODE verifier that combines falsification, CTMM interval reachability, three splitting heuristics, and parallel refinement into one pipeline.
Zhaozhi Qian, William Zame, Lucas Fleuren, Paul Elbers, and Mihaela van der Schaar
1 Pith paper cite this work, alongside 2 external citations. Polarity classification is still indexing.
1
Pith paper citing it
2
external citations · OpenAlex
fields
cs.AI 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
TNODEV: Toolbox for Neural ODE Verification
TNODEV is the first sound neural-ODE verifier that combines falsification, CTMM interval reachability, three splitting heuristics, and parallel refinement into one pipeline.