AI与世界难题 · 理论计算机科学 · arXiv · 2026-10-22
TNODEV:神经常微分方程验证工具箱
原标题: TNODEV: Toolbox for Neural ODE Verification
研究人员开发了 TNODEV,用于对神经常微分方程进行形式化验证，以解决现有工具仅采用单次可达性分析、缺乏迭代输入集细化而精度有限的问题。该工具结合了证伪检验、快速可达性分析、验证与细化循环以及并行调度。研究人员在安全集包含与分类鲁棒性基准上对其进行了评估，包括与 NNV 2.0 和 CORA 的比较。