L'IA face aux grands problèmes du monde · Informatique théorique · arXiv · 2026-10-22
TNODEV : une boîte à outils pour la vérification des EDO neuronales
Titre original: TNODEV: Toolbox for Neural ODE Verification
Les chercheurs ont développé TNODEV pour vérifier formellement les équations différentielles ordinaires neuronales, en répondant à la précision limitée des outils qui utilisent une seule analyse d'accessibilité sans raffinement itératif de l'ensemble d'entrées. Il combine la vérification par falsification, une analyse d'accessibilité rapide, une boucle de vérification et de raffinement, et un ordonnancement parallèle. Ils l'ont évalué sur des benchmarks d'inclusion d'ensemble sûr et de robustesse de classification, avec notamment des comparaisons avec NNV 2.0 et CORA.