💻 computer science

Search as Computation Allocation

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

Alexander Tuisov2026-07-31
💻 computer science

An Empirical Study of Coordination Mode as the First-Class Citizen in From-Scratch Multi-Agent Coding

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

Yanyu Ren, Yunfeng Bai, Xizheng Wang, Li Chen, Dan Li2026-07-31
💻 computer science

Meta-Task: Turning Terminal Task Synthesis into a Terminal Task for Scalable Agent Training

تقدم الورقة البحثية "Meta-Task"، وهو إطار عمل قابل للتوسع يعيد تعريف توليف المهام الطرفية باعتبارها مهمة طرفية قابلة للتحقق في حد ذاتها، مما يمكّن الوكيل من توليد وتنفيذ وتصفية مسارات تدريب عالية الجودة بشكل تكراري داخل بيئة حاوية حقيقية لتحقيق أداء فائق على "Terminal-Bench 2.0" ببيانات أقل بكثير من الطرق الحالية.

Zhihong Pan, Jiyuan He, Kai Zhang, Yupeng Han, Ze Liu, Yuze Zhao, Yongcong Ye, Zhaohua Yang2026-07-31
💻 computer science

Shapes from Examples: Foundations of Shape Learning in Recursive SHACL

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

Bente Gortworst, Cem Okulmus, Magdalena Ortiz, Anni-Yasmin Turhan2026-07-31
💻 computer science

From Scoring to Acting: Outcome-Verified Comparative Self-Distillation for LLM Agents

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

Xu Xia, Jinghua Piao, Min Yang, Xiaochong Lan, Jiaju Chen, Yong Li2026-07-31
⚛️ quantum physics

Complementary Matrix-Gated QKAN Fast-Weight Programmers for Quantum Dynamics Forecasting

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

Kuo-Chung Peng, Samuel Yen-Chi Chen, Jiun-Cheng Jiang, Chen-Yu Liu, En-Jui Kuo, Yun-Yuan Wang, Tzung-Chi Huang, Prayag T (…)2026-07-31
💻 computer science

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models

تقدم هذه الورقة Syntropy، وهو إطار عمل يستفيد من النماذج اللغوية الكبيرة الموجهة بمواصفات أنواع الجلسات متعددة الأطراف لتوليد تحسينات بروتوكولات الاتصال المتنوعة، والصحيحة نحوياً، والخالية من حالة الاستعصاء (deadlock-free) تلقائياً وبصلاحية عالية.

Yang Li, Ping Hou, Nobuko Yoshida2026-07-31
💻 computer science

SKIMIX: Multi-Agent Harness-Time Scaling with Skill Mixture for Dynamic Harness Engineering

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

Jia Luo2026-07-31
💻 computer science

Beyond Classification: Pathology Foundation Models as Detection Encoders for Mitotic Figures

تُظهر هذه الدراسة أن نماذج التأسيس المرضية، ولا سيما H-optimus-0 وVirchow، يمكنها أن تعمل بفعالية كعمود فقري للكشف الكثيف عن الأجسام الخاصة بالأشكال الانقسامية، محققةً أداءً تنافسياً وتحسناً في المتانة خارج النطاق مقارنة بالنماذج المرجعية التقليدية المدربة من البداية إلى النهاية.

Sweta Banerjee, Alireza Teimoury, Nils Porsche, Alexandra K. Stoll, Viktoria Weiss, Niklas Hargarter, Jonas Ammeling, Th (…)2026-07-31
📈 economics

Scaling, Lock-In, and Proxy Compliance: A Political Economy of Responsible AI

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

Florian A. D. Burnat, Brittany I. Davidson2026-07-31