💬 NLP

ThoughtTrace: Understanding User Thoughts in Real-World LLM Interactions

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

Chuanyang Jin, Binze Li, Haopeng Xie, Cathy Mengying Fang, Tianjian Li, Shayne Longpre, Hongxiang Gu, Maximillian Chen (…)2026-05-20
🤖 AI

Neurosymbolic Learning for Inference-Time Argumentation

تقدم هذه الورقة "الاستدلال الحجاجي أثناء الاستنتاج" (Inference-Time Argumentation - ITA)، وهو إطار عمل عصبي رمزي يدمج دلالات الحجاج الصورية لتدريب النماذج اللغوية الكبيرة على توليد وتقييم الحجج، مما يتيح تحققاً ثلاثياً من الادعاءات يتسم باليقين والأمانة ويتفوق على النماذج المرجعية الحالية مع توفير استدلال شفاف وقابل للفحص.

Gabriel Freedman, Adam Dejl, Adam Gould, Mansi, Lihu Chen, Jianqi Jiang, Francesca Toni2026-05-20
🤖 AI

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem

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

Gabriel Rongyang Lau2026-05-20
🧬 biology

Beyond Prediction Accuracy: Target-Space Recovery Profiles for Evaluating Model-Brain Alignment

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

Ken Nakamura, Tomoya Nakai, Ryuto Yashiro, Ayumu Yamashita, Kaoru Amano2026-05-20
💬 NLP

Less Back-and-Forth: A Comparative Study of Structured Prompting

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

Saurav Ghosh, Gabriella Polach, Abdou Sow2026-05-20
💬 NLP

Rethinking Visual Attribution for Chest X-ray Reasoning in Large Vision Language Models

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

Guangzhi Xiong, Qiao Jin, Sanchit Sinha, Zhiyong Lu, Aidong Zhang2026-05-20
🤖 AI

Long-term Power Grid Planning via Answer Set Programming

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

Antonio Ielo, Francesco Doria, Sandra Castellanos-Paez, Marco Maratea, Francesco Percassi, Mauro Vallati2026-05-20
💻 computer science

A Machine With Human-Like Memory Systems

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

Taewoon Kim, Michael Cochez, Vincent Francois-Lavet, Mark Neerincx, Piek Vossen2026-05-19
💻 computer science

A Machine with Short-Term, Episodic, and Semantic Memory Systems

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

Taewoon Kim, Michael Cochez, Vincent François-Lavet, Mark Neerincx, Piek Vossen2026-05-19
🧬 biology

Principles of frugal inference and control

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

Itzel Olivos-Castillo, Paul Schrater, Xaq Pitkow2026-05-19