AI dan Masalah-Masalah Sulit Dunia · Ilmu komputer teoretis · arXiv · 2026-10-22
TNODEV: Toolbox untuk Verifikasi Neural ODE
Judul asli: TNODEV: Toolbox for Neural ODE Verification
Para peneliti mengembangkan TNODEV untuk memverifikasi persamaan diferensial biasa neural secara formal, mengatasi presisi terbatas pada alat yang menggunakan analisis keterjangkauan tunggal tanpa penyempurnaan set input iteratif. TNODEV menggabungkan pemeriksaan falsifikasi, analisis keterjangkauan cepat, siklus verifikasi dan penyempurnaan, serta penjadwalan paralel. Para peneliti mengevaluasinya pada benchmark inklusi himpunan aman dan ketahanan klasifikasi, termasuk perbandingan dengan NNV 2.0 dan CORA.