🤖 machine learning

An Amortized Efficiency Threshold for Comparing Neural and Heuristic Solvers in Combinatorial Optimization

تقدم هذه الورقة إطار عمل "عتبة الكفاءة المستهلكة" (AET) لإثبات أن الحلول التوليفية العصبية يمكن أن تتفوق على الخوارزميات الاستدلالية القائمة على وحدة المعالجة المركزية من حيث إجمالي كفاءة الطاقة والكربون بمجرد الوصول إلى حجم نشر محدد، مما يدحض النقد القائل بأن تكاليف تدريبها تجعلها بطبيعتها غير فعالة في المحصلة النهائية.

Sohaib Afifi2026-05-15
🤖 machine learning

Action-Inspired Generative Models

تقدم هذه الورقة نماذج توليدية مستوحاة من الأفعال (AGMs)، وهي إطار عمل ثنائي الشبكة، خفيف الوزن، وقابل للتشغيل المباشر، يعمل على تعزيز طرق مطابقة الجسور باستخدام جهد قياسي قابل للتعلم لوزن الانتقالات العشوائية ديناميكيًا أثناء التدريب، مما يؤدي إلى تحسين جودة التوليد دون إضافة عبء حسابي أثناء الاستدلال.

Eshwar R. A., Debnath Pal2026-05-15
💻 computer science

MindGap: A Conversational AI Framework for Upstream Neuroplastic Intervention in Post-Traumatic Stress Disorder

يقدم هذا البحث "MindGap"، وهو إطار عمل للذكاء الاصطناዊ التفاعلي يعمل على الأجهزة ويحافظ على الخصوصية، يستخدم المفهوم البوذي لـ "النشوء المشروط" لتوجيه مرضى اضطراب ما بعد الصدمة عبر ملاحظة منظمة للإشارات الوجدانية السابقة للإدراك، بهدف تحقيق إعادة تنظيم عصبي علوي وتفكيك دائم للمسارات العصبية بدلاً من مجرد كبت الأعراض في المراحل المتأخرة كما هو الحال في العلاجات الحالية.

Eranga Bandara, Ross Gore, Asanga Gunaratna, Ravi Mukkamala, Nihal Siriwardanagea, Sachini Rajapakse, Isurunima Kularath (…)2026-05-15
💬 NLP

Falkor-IRAC: Graph-Constrained Generation for Verified Legal Reasoning in Indian Judicial AI

تقدم هذه الورقة Falkor-IRAC، وهو إطار عمل للتوليد المقيد بالرسوم البيانية للذكاء الاصطناعي القانوني الهندي يضمن الاستدلال المتحقق منه من خلال ربط مخرجات النماذج اللغوية الكبيرة برسوم بيانية معرفية مهيكلة بنظام IRAC واستخدام وكيل تحقق للتحقق من الاستشهادات وكشف التعارضات العقائدية، مما يعالج قيود الهلوسة والدقة في أنظمة الاسترجاد التقليدية القائمة على المتجهات.

Joy Bose2026-05-15
💻 computer science

Monitoring Data-aware Temporal Properties (Extended Version)

تقدم هذه الورقة إطار عمل جديداً، تم التحقق منه رسمياً، للمراقبة الاستباقية لخصائص الزمن الخطي المعززة بنظريات SMT (المعروفة بـ LTLfMT)، وذلك عبر الجمع بين الأساليب القائمة على الأوتوماتا والاستدلال الآلي، مما يحدد الأجزاء القابلة للتقرير ذات الصلولية للأنظمة المدركة للبيانات، ويبرهن على الجدوى من خلال تنفيذ نموذج أولي.

Alessandro Gianola, Marco Montali, Sarah Winkler2026-05-15
🔬 materials science

Agentic Design of Compositional Descriptors via Autoresearch for Materials Science Applications

تقدم هذه الورقة "Automat"، وهو إطار عمل للبحث الذاتي حيث يقوم وكيل ذكاء اصطناعي بتصميم وتطوير واصفات قائمة على التركيب، تكون قابلة للتفسير كيميائياً، بشكل مستقل ومتكرر للتنبؤ بخصائص المواد، متفوقاً بنجاح على النماذج المرجعية الراسخة في التنبؤ بفجوات النطاق ودرجات حرارة كوري، مع تسليط الضوء على القيود الحالية في استراتيجيات البحث والتحكم في التعقيد.

Matteo Cobelli, Stefano Sanvito2026-05-15
🤖 machine learning

NeuroAtlas: Benchmarking Foundation Models for Clinical EEG and Brain-Computer Interfaces

تقدم الورقة البحثية "NeuroAtlas"، وهو أكبر مرجع لبيانات تخطيط كهربية الدماغ (EEG) حتى الآن، والذي يضم 42 مجموعة بيانات و260 ألف ساعة من البيانات، لإثبات أن النماذج التأسيسية الحالية لا تتفوق بعد بشكل ثابت على النماذج المرجعية الخاضعة للإشراف أو نماذج السلاسل الزمنية العامة في التطبيقات السريرية، مما يسلط الضاءة على الحاجة الماسة لمقاييس تقييم سريرية متخصصة بدلاً من درجات تعلم الآلة القياسية.

Konstantinos Kontras, Trui Osselaer, Stylianos G. Mouslech, Angeliki-Ilektra Karaiskou, Guido Gagliardi, Thomas Strypste (…)2026-05-15
💻 computer science

SceneFunRI: Reasoning the Invisible for Task-Driven Functional Object Localization

تقدم هذه الورقة البحثية SceneFunRI، وهو معيار جديد يضم 855 حالة لتقييم قدرة نماذج الرؤية واللغة على الاستنتاج حول مواقع الأشياء الوظيفية غير المرئية أو المحجوبة باستخدام تعليمات المهام والمعرفة القائمة على المنطق العام، مما يكشف أن النماذج الحالية المتطورة تعاني بشكل كبير من هذا العجز.

Posheng Chen, Powen Cheng, Gueter Josmy Faure, Hung-Ting Su, Winston H. Hsu2026-05-15
💻 computer science

Towards Label-Free Single-Cell Phenotyping Using Multi-Task Learning

تقدم هذه الورقة إطار عمل موحد للتعلم العميق يجمع بين بنيات التلافيف (convolutional) والمحولات (transformer) مع نموذج لغوي كبير لتمكين التصنيف الدقيق والخالي من الملصقات لخلايا الدم البيضاء، وتوقع تعبير البروتين من صور تباين الطور التفاضلي، مما يوفر بديلاً منخفض التكلفة لقياس التدفق القائم على الفلورة.

Saqib Nazir, Ardhendu Behera2026-05-15