KI und die schwierigen Probleme der Welt · Theoretische Informatik · arXiv · 2026-10-22
TNODEV: Toolbox zur Verifikation neuronaler ODEs
Originaltitel: TNODEV: Toolbox for Neural ODE Verification
Die Forschenden entwickelten TNODEV, um neuronale gewöhnliche Differentialgleichungen formal zu verifizieren, und adressierten damit die begrenzte Präzision von Werkzeugen, die eine einzige Erreichbarkeitsanalyse ohne iterative Verfeinerung der Eingabemenge verwenden. Es kombiniert Falsifikationsprüfung, schnelle Erreichbarkeitsanalyse, eine Verifikations- und Verfeinerungsschleife sowie paralleles Scheduling. Evaluiert wurde es an Benchmarks zur Inklusion sicherer Mengen und zur Klassifikationsrobustheit, einschließlich Vergleichen mit NNV 2.0 und CORA.