研究者发布首个神经ODE形式化验证工具TNODEV

研究者在 arXiv 发布 TNODEV，称其为首个面向神经 ODE 的形式化验证器，将伪造检查、基于连续时间混合单调性的区间可达性后端、含三种输入集切分启发式的验证-细化循环及并行调度器集成到单一端到端流程中，并在基准上与 NNV 2.0、CORA 进行了对比。

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

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