TNODEV:神經常微分方程驗證工具箱

原標題: TNODEV: Toolbox for Neural ODE Verification

研究人員開發 TNODEV 以對神經常微分方程進行形式驗證，解決僅使用單次可達性分析、且未進行迭代式輸入集合細化的工具在精度上的限制。其結合了反證檢查、快速可達性分析、驗證與細化迴圈，以及平行排程。他們在安全集合包含與分類穩健性基準上對其進行評估，包括與 NNV 2.0 和 CORA 的比較。