AI اور دنیا کے مشکل مسائل · نظریاتی کمپیوٹر سائنس · arXiv · 2026-10-22

TNODEV: نیورل ODE توثیق کے لیے ٹول باکس

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

محققین نے TNODEV تیار کیا تاکہ نیورل آرڈینری ڈفرینشل مساواتوں کی رسمی توثیق کی جا سکے، جس سے ان اوزاروں کی محدود درستگی کا ازالہ ہوتا ہے جو بغیر تکراری ان پٹ سیٹ بہتری کے صرف ایک ریچیبلٹی تجزیہ استعمال کرتے ہیں۔ یہ فالسیفیکیشن چیکنگ، تیز رفتار ریچیبلٹی تجزیہ، توثیق و بہتری کا لوپ اور متوازی شیڈولنگ کو یکجا کرتا ہے۔ انہوں نے اس کا جائزہ سیف سیٹ شمولیت اور درجہ بندی کی روبسٹنس کے بینچ مارکس پر لیا، جن میں NNV 2.0 اور CORA سے موازنے بھی شامل تھے۔

اصل تحریر پڑھیں ↗

تمام آئٹمز →