TNODEV：首个神经ODE形式化验证器发布

Abdelrahman Sayed Sayed 等人提出并发布 TNODEV，称其为首个面向神经 ODE 的形式化验证器。该工具把反例检查器、基于连续时间混合单调性的快速区间可达性后端、带三种输入集分割启发式的验证-精化循环以及并行调度器整合为一条端到端流水线。 上述“首个”与各组件效果均为作者在论文中的自述，报道未给出第三方复现或对比验证结果。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。