الذكاء الاصطناعي ومشكلات العالم الصعبة · علوم الحاسوب النظرية · arXiv · 2026-10-22

TNODEV: صندوق أدوات للتحقق من معادلات ODE العصبية

العنوان الأصلي: TNODEV: Toolbox for Neural ODE Verification

طوّر الباحثون TNODEV للتحقق الرسمي من المعادلات التفاضلية العادية العصبية، لمعالجة الدقة المحدودة للأدوات التي تعتمد على تحليل واحد لقابلية الوصول دون تحسين تكراري لمجموعة المدخلات. ويجمع النظام بين فحص التكذيب، وتحليل سريع لقابلية الوصول، وحلقة تحقق وتحسين، وجدولة متوازية. وتم تقييمه على معايير اختبار لاشتمال المجموعة الآمنة ومتانة التصنيف، بما في ذلك مقارنات مع NNV 2.0 وCORA.

اقرأ المصدر الأصلي ↗

جميع العناصر →