🤖 machine learning

Hidden Heroes and Gradient Bloats: Layer-Wise Redundancy Inverts Attribution in Transformers

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

Donald Ye2026-05-12
🤖 AI

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics

تقدم هذه الورقة MathlibLemma، وهو مسار مؤتمت يعتمد على النماذج اللغوية الكبيرة لاكتشاف وصياغة لِمات "الفلكلور" المفقودة لتوسيع مكتبة Lean Mathlib، مع إنشاء معيار شامل يتضمن أكثر من 4,000 عبارة رياضية مُحققة للنهوض بالرياضيات المساعدة للذكاء الاصطناعي.

Xinyu Liu, Zixuan Xie, Amir Moeini, Claire Chen, Shuze Daniel Liu, Yu Meng, Aidong Zhang, Shangtong Zhang2026-05-12
🤖 AI

TodyComm: Task-Oriented Dynamic Communication for Multi-Round LLM-based Multi-Agent System

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

Wenzhe Fan, Tommaso Tognoli, Henry Peng Zou, Chunyu Miao, Yibo Wang, Xinhua Zhang2026-05-12
🤖 machine learning

Efficient Estimation of Kernel Surrogate Models for Task Attribution

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

Zhenshuo Zhang, Minxuan Duan, Hongyang R. Zhang2026-05-12
🤖 AI

Agent-Omit: Adaptive Context Omission for Efficient LLM Agents

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

Yansong Ning, Jun Fang, Naiqiang Tan, Hao Liu2026-05-12
🤖 AI

SE-Bench: Benchmarking Self-Evolution with Knowledge Internalization

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

Jiarui Yuan, Tailin Jin, Weize Chen, Zeyuan Liu2026-05-12
🤖 AI

When Agents Say One Thing and Do Another: Validating Elicited Beliefs from LLMs

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

Khurram Yamin, Jingjing Tang, Santiago Cortes-Gomez, Amit Sharma, Eric Horvitz, Bryan Wilder2026-05-12
🤖 AI

HyPER: Bridging Exploration and Exploitation for Scalable LLM Reasoning with Hypothesis Path Expansion and Reduction

يُعدُّ HYPER سياسة تحكم آنية وخالية من التدريب لنماذج "خليط الخبراء" (mixture-of-experts)، حيث يوازن ديناميكيًا بين الاستكشاف والاستغلال أثناء التفكير في وقت الاختبار من خلال إدارة مجمع للفرضيات عبر التوسع، والتحسين على مستوى الرمز (token)، والتجميع القائم على الثقة، مما يؤدي إلى تحسين الدقة بشكل كبير مع تقليل استخدام الرموز.

Shengxuan Qiu, Haochen Huang, Shuzhang Zhong, Pengfei Zuo, Meng Li2026-05-12
🤖 machine learning

Breaking the Grid: Distance-Guided Reinforcement Learning in Large Discrete Action Spaces

تقدم هذه الورقة البحثية خوارزمية التعلم المعزز الموجه بالمسافة (DGRL)، وهي خوارزمية مبتكرة تتغلب على لعنة الأبعاد في فضاءات الأفعال المنفصلة الكبيرة (التي تصل إلى 102010^{20} فعلًا) من خلال الجمع بين الأحياء الديناميكية المأخوذة بالعينة والتحديثات القائمة على المسافة لتحويل تحسين السياسة إلى مهمة انحدار مستقرة، مما يحقق تحسينات كبيرة في الأداء والتقارب مقارنة بأحدث الأساليب المتبعة.

Heiko Hoppe, Fabian Akkerman, Wouter van Heeswijk, Maximilian Schiffer2026-05-12