AI और दुनिया की कठिन समस्याएँ · सैद्धांतिक कंप्यूटर विज्ञान · arXiv · 2026-10-22

TNODEV: न्यूरल ODE सत्यापन हेतु टूलबॉक्स

मूल शीर्षक: TNODEV: Toolbox for Neural ODE Verification

शोधकर्ताओं ने न्यूरल ऑर्डिनरी डिफरेंशियल समीकरणों का औपचारिक सत्यापन करने के लिए TNODEV विकसित किया, जो बिना इटरेटिव इनपुट-सेट परिष्करण के एकल रीचेबिलिटी विश्लेषण का उपयोग करने वाले टूल्स की सीमित परिशुद्धता को संबोधित करता है। यह फॉल्सिफिकेशन जाँच, तीव्र रीचेबिलिटी विश्लेषण, एक सत्यापन और परिष्करण लूप, तथा समानांतर शेड्यूलिंग को संयोजित करता है। उन्होंने इसका मूल्यांकन सेफ-सेट समावेशन और वर्गीकरण रोबस्टनेस बेंचमार्क पर किया, जिसमें NNV 2.0 और CORA के साथ तुलनाएँ शामिल हैं।

मूल लेख पढ़ें ↗

सभी आइटम →