ИИ и сложнейшие проблемы мира · Теоретическая информатика · arXiv · 2026-10-22
TNODEV: набор инструментов для верификации нейронных ODE
Оригинальное название: TNODEV: Toolbox for Neural ODE Verification
Исследователи разработали TNODEV для формальной верификации нейронных обыкновенных дифференциальных уравнений, решая проблему ограниченной точности инструментов, применяющих единственный анализ достижимости без итеративного уточнения входного множества. Он сочетает проверку фальсификации, быстрый анализ достижимости, цикл верификации и уточнения, а также параллельное планирование. Инструмент оценили на бенчмарках включения в безопасное множество и устойчивости классификации, включая сравнения с NNV 2.0 и CORA.