La IA y los problemas difíciles del mundo · Informática teórica · arXiv · 2026-10-22
TNODEV: caja de herramientas para la verificación de ODE neuronales
Título original: TNODEV: Toolbox for Neural ODE Verification
Los investigadores desarrollaron TNODEV para verificar formalmente ecuaciones diferenciales ordinarias neuronales, abordando la precisión limitada de las herramientas que emplean un único análisis de alcanzabilidad sin refinamiento iterativo del conjunto de entradas. Combina la comprobación por falsificación, un análisis de alcanzabilidad rápido, un bucle de verificación y refinamiento, y una planificación en paralelo. Lo evaluaron en benchmarks de inclusión en conjuntos seguros y de robustez de clasificación, incluidas comparaciones con NNV 2.0 y CORA.