AIが解く世界の難問 · 計算機科学の理論 · arXiv · 2026-10-22
TNODEV：ニューラル常微分方程式の検証ツールボックス
原題: TNODEV: Toolbox for Neural ODE Verification
ニューラル常微分方程式の安全性を形式的に検証するため、入力集合を反復的に細分化できるツールTNODEVを開発した。反例探索、高速な到達可能性解析、検証と細分化の反復処理、並列実行を一つの処理系に統合した。安全集合への包含と分類の頑健性に関するベンチマークで評価し、NNV 2.0やCORAとの比較を行った。