💻 computer science

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

يُعد Lean Refactor إطار عمل وكيلًا يعتمد على الاسترجاع المعزز، يعمل على تحسين براهين Lean لتحقيق أهداف متعددة — بما في ذلك ضغط الرموز (tokens)، وسرعة التجميع، وتوافق الإصدارات — من خلال الاختيار الديناميكي لاستراتيجيات إعادة الهيكلة المنسقة دون الحاجة إلى إعادة تدريب النموذج.

Jialin Lu, Soonho Kong, Rodrigo Stehling, Kaiyu Yang, Zhangyang Wang, Weiran Sun, Wuyang Chen2026-05-21
🤖 machine learning

GROW: Aligning GRPO with State-Action Modeling for Open-World VLM Agents

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

Xiongbin Wu, Zhihao Luo, Shanzhe Lei, Lechao Zhang, Xuhong Wang, Jie Yang, Zhonglong Zheng, Yuanjie Zheng, Xin Tan, Wei (…)2026-05-21
🤖 machine learning

CP-MoE: Consistency-Preserving Mixture-of-Experts for Continual Learning

يُعد CP-MoE إطار عمل جديد للتعلم المستمر يعمل على التخفيف من حدة النسيان الكارثي في النماذج اللغوية الكبيرة (LLMs) والنماذج اللغوية البصرية (VLMs) عبر توظيف خبير عابر لتوجيه دمج التحديثات الخاصة بالمهام في الخبراء المستقرين من خلال توجيه يحافظ على الاتساق وتنظيم مستهدف، محققاً بذلك أداءً رائداً مع موازنة نقل المعرفة واستقرار المعلمات.

Yang Liu, Toan Nguyen, Flora D. Salim2026-05-21
🤖 machine learning

Automated Kernel Discovery Towards Understanding High-dimensional Bayesian Optimization

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

Taeyoung Yun, Woocheol Shin, Inhyuck Song, Jaewoo Lee, Jinkyoo Park2026-05-21
💻 computer science

ProcBench: Evaluating Process-Level Defects and Control Preservation in LLM Coding Agents

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

Jiawei He, Jie Jia, Chenbo Liu, Chaoyi Xue, Yapeng Song, Xikai Yang, Dong Sun2026-05-21
🤖 machine learning

Multi-Agent Reinforcement Learning for Safe Autonomous Driving Under Pedestrian Behavioral Uncertainty

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

Prakash Aryan, Kaushik Raghupathruni, Timo Kehrer, Sebastiano Panichella2026-05-21
🤖 machine learning

It Takes Two: Complementary Self-Distillation for Contextual Integrity in LLMs

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

Sangwoo Park, Woongyeong Yeo, Seanie Lee, Yumin Choi, Hyomin Lee, Kangsan Kim, Jinheon Baek, Seong Joon Oh, Sung Ju Hwan (…)2026-05-21
🤖 machine learning

Chronicle: A Multimodal Foundation Model for Joint Language and Time Series Understanding

يُعد Chronicle نموذجًا مدمجًا من نوع المحولات المعتمدة على فك التشفين فقط (decoder-only transformer) بـ 324 مليون معلمة، تم تدريبه من الصفر على كل من اللغة الطبيعية والسلاسل الزمنية ضمن بنية موحدة، محققًا أداءً تنافسيًا في كلا المجالين وقدرات فائقة في التنبؤ متعدد الوسائط دون الاعتماد على التكيف اللاحق للنماذج اللغوية سابقة التدريب.

Paul Quinlan, Jeremy Levasseur, Qingguo Li, Xiaodan Zhu2026-05-21
🤖 machine learning

Modality-Decoupled Online Recursive Editing

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

Siyuan Li, Youyuan Zhang, Fangming Liu, Jing Li2026-05-21
💻 computer science

Regulating Anatomy-Aware Rewards via Trajectory-Integral Feedback for Volumetric Computed Tomography Analysis

تقدم هذه الورقة إطار عمل التغذية الراجعة للتكامل المساري (TIF-GRPO)، الذي يستفيد من مبادئ نظرية التحكم وركيزة قياس الشذوذ السريري المهيكلة (CABS) لتنظيم المكافآت المدركة للتشريح في نماذج الرؤية واللغة الطبية، مما يؤدي إلى القضاء على الهلوسة التقييمية وتعزيز الدقة السريرية في تحليل التصوير المقطعي المحوسب ثلاثي الأبعاد.

Tianwei Lin, Zhongwei Qiu, Jie Cao, Jiang Liu, Wenjie Yan, Bo Zhang, Yu Zhong, Wenqiao Zhang, Yingda Xia, Ling Zhang2026-05-21