🤖 AI

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators

تُثبت هذه الورقة أنه يمكن التحقق من صحة معاملات فوريه العصبية الصغيرة (Fourier Neural Operators) رسمياً لخصائص فيزيائية مثل الإيجابية وحفظ الكتلة عبر تجميع عمليات تمريرها الأمامية الخطية المجزأة في حلول SMT، مما يكشف عن مقايضة واضحة حيث توفر الترميزات الدقيقة ضمانات سليمة ولكنها تعاني من صعوبة في التوسع، بينما توفر الترميزات التقريبية السرعة على حساب القدرة على التصديق.

Ali Baheri, David Millard, Ignacio Laguna Peralta2026-05-12
🤖 AI

MDGYM: Benchmarking AI Agents on Molecular Simulations

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

Vinay Kumar, Satyendra Rajput, Mausam, N. M. Anoop Krishnan2026-05-12
🤖 AI

Improving Lexical Difficulty Prediction with Context-Aligned Contrastive Learning and Ridge Ensembling

تقترح هذه الورقة "الارتباط التبايني المتوافق مع السياق" (Context-Aligned Contrastive Regression)، وهو إطار عمل مبتكر يجمع بين تجميع انحدار ريدج (Ridge regression ensembling) والتعلم التبايني عبر الرؤى والترتيبي لتعزيز التنبؤ بالصعوبة المعجمية من خلال تحسين المحاذاة عبر اللغات، واستيعاب الهياكل الترتيبية، والتخفيف من الانحيازات المنهجية للنماذج.

Wicaksono Leksono Muhamad, Joanito Agili Lopo, Tsamarah Rana Nugraha, Ahmad Cahyono Adi, Muhammad Oriza Nurfajri2026-05-12
🤖 AI

Agentic AI Scientists Are Not Built For Autonomous Scientific Discovery

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

Harshit Bisht, Vinay Kumar, Kevin Maik Jablonka, Mausam, N. M. Anoop Krishnan2026-05-12
🤖 AI

Extrusion Segmentation Strategy to improve CAD Reconstruction from Point Cloud

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

Said Harb, Mehdi Maboudi, Markus Gerke2026-05-12
🤖 AI

Tracking the Truth: Object-Centric Spatio-Temporal Monitoring for Video Large Language Models

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

Tri Cao, Khoi Le, Thong Nguyen, Cong-Duy Nguyen, Quynh Vo, Anh Tuan Luu, Chunyan Miao, See-Kiong Ng, Shuicheng Yan, Brya (…)2026-05-12
🤖 AI

Latency Analysis and Optimization of Alpamayo 1 via Efficient Trajectory Generation

تعمل هذه الورقة على تحسين نظام القيادة الذاتية من طرف إلى طرف القائم على الاستنتاج Alpamayo 1 عبر إعادة تصميمه من بنية استنتاج متعددة إلى بنية استنتاج أحادية، وإلغاء عمليات النواة غير الفعالة، مما يحقق تقليلاً في زمن انتقال الاستدلال بنسبة 69.23% مع الحفاظ على تنوع المسارات وجودة التنبؤ.

Yunseong Jeon, Namcheol Lee, Yoonsu Lee, Jangwoon Park, Sol Ahn, Jong-Chan Kim, Seongsoo Hong2026-05-12
🤖 AI

Learning to Explore: Scaling Agentic Reasoning via Exploration-Aware Policy Optimization

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

Xingyuan Hua, Sheng Yue, Ju Ren2026-05-12
🤖 machine learning

Benchmarking Compositional Generalisation for Machine Learning Interatomic Potentials

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

Amir Masoud Nourollah, Irtaza Khalid, Stefano Leoni, Steven Schockaert2026-05-12
📈 economics

Sufficient conditions for a Heuristic Rating Estimation Method application

تحدد هذه الورقة الشروط الكافية للتطبيق الصحيح لطريقة تقدير التقييم الاستدلالي لكل من المقارنات الزوجية الكاملة وغير الكاملة باستخدام الخوارزميات الحسابية والهندسية، مبرهنةً على أن المتغير الحسابي يعطي تقديرات مثالية لعدم الاتساق.

Jacek Szybowski, Konrad Kułakowski, Jiri Mazurek2026-05-12