🤖 AI

Agentic MIP Research: Accelerated Constraint Handler Generation

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

Liding Xu, Yugeng Zhou, Sebastian Pokutta2026-05-12
🤖 AI

Emergent Semantic Role Understanding in Language Models

تُثبت هذه الورقة أن فهم الأدوار الدلالية يظهر جزئياً في نماذج المحولات المكونة من فك تشفير فقط (decoder-only transformers) والمجمدة أثناء مرحلة ما قبل التدريب، كما يتضح من خلال المسابير الخطية، رغم أن الأداء الكامل يتطلب الضبط الدقيق، كما يصبح التمثيل الداخلي لهذه الأدوار موزّعاً بشكل متزايد مع زيادة حجم النموذج.

Carla Griffiths, Mirco Musolesi2026-05-12
🤖 machine learning

DARE: Difficulty-Adaptive Reinforcement Learning with Co-Evolved Difficulty Estimation

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

Yang Zhou, Can Jin, Zihan Dong, Zhepeng Wang, Yanting Yang, Shiyu Zhao, Lei Li, Runxue Bao, Yaochen Xie, Dimitris N. Met (…)2026-05-12
🤖 AI

Evidence Over Plans: Online Trajectory Verification for Skill Distillation

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

Yang Zhou, Zihan Dong, Zhenting Wang, Can Jin, Shiyu Zhao, Bangwei Guo, Difei Gu, Linjun Zhang, Mu Zhou, Dimitris N. Met (…)2026-05-12
🤖 AI

The Geometry of Forgetting: Temporal Knowledge Drift as an Independent Axis in LLM Representations

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

Rania Elbadry, Ahmed Heakl, Fan Zhang, Dani Bouch, Yuxia Wang, Preslav Nakov, Zhuohan Xie2026-05-12
📊 statistics

Fast Rates for Offline Contextual Bandits with Forward-KL Regularization under Single-Policy Concentrability

تضع هذه الورقة البحثية أول حدود عليا لتعقيد العينات السريع من رتبة O~(ϵ1)\tilde{O}(\epsilon^{-1}) لتعقيد "المناديب السياقية غير المتصلة" (offline contextual bandits) مع تنظيم "كاي إل" الأمامي (forward-KL regularization) في ظل حالة تركيز السياسة الواحدة، موحدةً بذلك بين إعدادات الجداول (tabular) والتقريب الوظيفي العام من خلال تحليل تحليلي محدب مبتكر، ومثبتةً دقة هذه المعدلات عبر حدود دنيا مطابقة.

Qingyue Zhao, Kaixuan Ji, Heyang Zhao, Quanquan Gu2026-05-12
🤖 AI

Flame3D: Zero-shot Compositional Reasoning of 3D Scenes with Agentic Language Models

يُعد Flame3D إطار عمل لا يتطلب تدريباً، يُمكّن من الاستدلال التكويني للمشاهد ثلاثية الأبعاد بنمط "الصفر محاولة" (zero-shot) عبر تمثيل المشاهد كذكريات بصرية-نصية قابلة للتحرير، وتمكين النماذج اللغوية الكبيرة متعددة الوسائط (MLLMs) الجاهزة من تخليق أدوات مكانية مخصصة ديناميكياً للاستدلال مفتوح النهايات.

Sagar Bharadwaj, Ziyong Ma, Anurag Ghosh, Srinivasan Seshan, Anthony Rowe2026-05-12
🤖 machine learning

The Pokémon Theorem and other Fairness Impossibility Results

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

Daniel Matsui Smola, Alex Smola2026-05-12
🤖 AI

Detect, Localize, and Explain: Interactive Hierarchical Log Anomaly Analytics with LLM Augmentation

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

Lei Ma, Suhani Chaudhary, Ethan Shanbaum, Athanasios Tassiadamis, Peter M. VanNostrand, Dennis M. Hofmann, Haowen Xu, El (…)2026-05-12
🤖 machine learning

ProactBench: Beyond What The User Asked For

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

Sepehr Harfi, Ahmad Salimi, Dongming Shen, Alex Smola2026-05-12