TNODEV：首个神经 ODE 形式化验证工具箱

研究者提出 TNODEV，首个面向神经 ODE 的形式化验证器，将 falsification 检查、基于连续时间混合单调性的区间可达性后端、含三种输入集切分启发式的验证-细化循环及并行调度器集成到端到端流程中。