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

VoxLogicA2: نیورو-سمبولک طبی امیجنگ کے لیے ایک مکانی ماڈل چیکر (توسیعی ورژن)

اصل عنوان: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)

نیورو-علامتی طبی تصویری تجزیے کے لیے نیورل نیٹ ورک پروسیسنگ اور علامتی منطق کو ملانا ضروری ہے۔ مصنفین VoxLogicA2 پیش کرتے ہیں، جو ایک مکانی ماڈل چیکر ہے اور جس کا نیا ورژن منطقی عملیات اور نیورل نیٹ ورک کی تربیت و پیش گوئی کو ایک ہی اعلانیہ زبان میں لکھنے کی سہولت دیتا ہے۔ اس کی بہتر کارکردگی کی تصدیق کی گئی، اور پہلے Python پر مبنی کیس اسٹڈیز کو صرف VoxLogicA2 کی تفصیل کے ذریعے دوبارہ بیان کیا گیا۔

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

تمام آئٹمز →