IA e os Problemas Difíceis do Mundo · Ciência da computação teórica · arXiv · 2026-10-22
TNODEV: caixa de ferramentas para verificação de ODEs neurais
Título original: TNODEV: Toolbox for Neural ODE Verification
Os pesquisadores desenvolveram o TNODEV para verificar formalmente equações diferenciais ordinárias neurais, abordando a precisão limitada de ferramentas que usam uma única análise de alcançabilidade sem refinamento iterativo do conjunto de entradas. Ele combina checagem de falsificação, análise rápida de alcançabilidade, um ciclo de verificação e refinamento e escalonamento paralelo. Eles o avaliaram em benchmarks de inclusão de conjuntos seguros e de robustez de classificação, incluindo comparações com o NNV 2.0 e o CORA.