AI এবং বিশ্বের কঠিন সমস্যাগুলো · তাত্ত্বিক কম্পিউটার বিজ্ঞান · arXiv · 2026-10-22

TNODEV: নিউরাল ODE যাচাইকরণের টুলবক্স

মূল শিরোনাম: TNODEV: Toolbox for Neural ODE Verification

গবেষকেরা নিউরাল অর্ডিনারি ডিফারেনশিয়াল ইকুয়েশন আনুষ্ঠানিকভাবে যাচাইয়ের জন্য TNODEV তৈরি করেছেন, যা পুনরাবৃত্ত ইনপুট-সেট পরিমার্জন ছাড়া একক রিচেবিলিটি বিশ্লেষণ ব্যবহারকারী টুলগুলোর সীমিত নির্ভুলতার সমস্যা মোকাবিলা করে। এটি ফ্যালসিফিকেশন পরীক্ষা, দ্রুত রিচেবিলিটি বিশ্লেষণ, একটি যাচাই ও পরিমার্জন লুপ এবং সমান্তরাল শিডিউলিং একত্রিত করে। তাঁরা safe-set inclusion ও ক্লাসিফিকেশন রোবাস্টনেস বেঞ্চমার্কে NNV 2.0 এবং CORA-র সঙ্গে তুলনাসহ এটি মূল্যায়ন করেছেন।

মূল লেখা পড়ুন ↗

সব আইটেম →