💬 NLP

AutoSupervision: Closing the Feedback Loop in Scientific Workflows with Grounded Revision Verification

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

Haobo Li, Eunseo Jung, Wenxiao Zhao, Feng Liu, Jiong Wang, Kaiyi Xu, Zijie Guo, Zixin Chen, Ben Fei, Fenghua Ling, Lei B (…)2026-07-31
💰 quantitative finance

FinanceHarness: Autonomous Financial Deep Research Framework

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

Yijia Xiao, Rujun Han, Yanfei Chen, Zifeng Wang, Ke Jiang, Zhongying CuiZhu, Vishy Tirumalashetty, Wei Wang, Burak Goktu (…)2026-07-31
💻 computer science

Orca: Neural Operators for Causal Reasoning in Continuous Time

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

Gerrit Großmann, David A. Selby, Sebastian J. Vollmer2026-07-31
💻 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