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

VoxLogicA2: নিউরো-সিম্বলিক মেডিক্যাল ইমেজিংয়ের জন্য একটি স্পেশিয়াল মডেল চেকার (বর্ধিত সংস্করণ)

মূল শিরোনাম: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)

নিউরো-সিম্বলিক চিকিৎসা চিত্র বিশ্লেষণে নিউরাল নেটওয়ার্ক প্রক্রিয়াকরণ ও সিম্বলিক লজিককে একত্রিত করা প্রয়োজন। লেখকরা VoxLogicA2 উপস্থাপন করেছেন, একটি স্পেশিয়াল মডেল চেকার, যার নতুন সংস্করণে লজিক্যাল অপারেশন এবং নিউরাল নেটওয়ার্কের প্রশিক্ষণ ও পূর্বাভাস একই ঘোষণামূলক ভাষায় লেখা যায়। এর উন্নত দক্ষতা যাচাই করা হয়েছে, এবং আগে Python-ভিত্তিক কেস স্টাডিগুলো শুধুমাত্র VoxLogicA2 স্পেসিফিকেশন ব্যবহার করে পুনরায় প্রকাশ করা হয়েছে।

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

সব আইটেম →