💻 computer science

Steins;Gate Drive: Semantic Safety Arbitration over Structured Futures for Latency-Decoupled LLM Planning

يقدم نظام Steins;Gate Drive بنية تخطيط منفصلة عن زمن الاستجابة تستفيد من نموذج لغوي كبير لاختيار مسبق لمستقبلات القيادة الافتراضية (الخطوط الزمنية ألفا، وبيتا، وجاما) بينما يقوم نظام وقت التشغيل بفرض عقود السلامة، مما يقضي فعليًا على زمن استجابة التحكم ويحافظ على حدود السلامة على الطرق السريعة.

Anjie Qiu, Hans D. Schotten2026-05-22
⚡ electrical engineering

KAPPS: A knowledge-based CPPS Architecture for the Circular Factory

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

Etienne Hoffmann, Jan-Felix Klein, Sören Weindel, Max Goebels, Sebastian Behrendt, Daniel Hernández, Ratan Bahadur Thapa (…)2026-05-22
💻 computer science

Implicit Regularization of Mini-Batch Training in Graph Neural Networks

تُثبت هذه الورقة أن أخذ عينات العقد العشوائية (Random Node Sampling)، على الرغم من استبعاده للهيكل المحلي للرسم البياني، يتفوق على التدريب على الرسم البياني الكامل وعلى أخذ العينات المعقدة المدركة للهيكل، وذلك من خلال تقليل هدف مُنظّم ضمني بتباين تدرج أقل، كما كشف تحليل الخطأ العكسي لتدريب التدرج الاشتقاقي العشوائي المصغر (mini-batch SGD).

Clement Wang, Antoine Vialle, Robin Vaysse, Thomas Bonald2026-05-22
💻 computer science

Understanding Multimodal Failure in Action-Chunking Behavioral Cloning

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

Lorenzo Mazza, Massimiliano Datres, Ariel Rodriguez, Sebastian Bodenstedt, Gitta Kutyniok, Stefanie Speidel2026-05-22
💻 computer science

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning

يُعد المترجم العصبي (Neural Compiler) نظاماً يقوم بترجمة البرامج الرمزية المكتوبة بلغة شبيهة بلغة "سكيم" (Scheme) إلى وحدات "باي تورش" (PyTorch) دقيقة وقابلة للاشتقاق، مما يُمكّن نماذج تعلم الآلة العلمية الهجينة من الجمع بين الفيزياء المعروفة والمكونات المتعلمة مع ضمان القابلية المنهجية للتركيب والدقة الفائقة بمعاملات أقل بكثير مقارنة بنماذج الشبكات العصبية المعتمدة على الفيزياء (PINN) القياسية.

Lucas Sheneman2026-05-22
💻 computer science

Compiling Agentic Workflows into LLM Weights: Near-Frontier Quality at Two Orders of Magnitude Less Cost

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

Simon Dennis, Rivaan Patil, Kevin Shabahang, Hao Guo2026-05-22
💬 NLP

Search-E1: Self-Distillation Drives Self-Evolution in Search-Augmented Reasoning

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

Zihan Liang, Yufei Ma, Ben Chen, Zhipeng Qian, Xuxin Zhang, Huangyu Dai, Lingtao Mao2026-05-22
💻 computer science

A Subjective Logic-based method for runtime confidence updates in safety arguments

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

Benjamin Herd, Jessica Kelly, Clarissa Heinemann, João-Vitor Zacchi2026-05-22
💻 computer science

TerminalWorld: Benchmarking Agents on Real-World Terminal Tasks

تقدم الورقة البحثية TerminalWorld، وهو محرك بيانات قابل للتوسع يقوم بالهندسة العكسية تلقائياً لـ 1,530 مهمة طرفية عالية الدقة من 80,870 تسجيلاً من العالم الحقيقي لاختبار نماذج الوكلاء الاصطناعيين، مما يكشف أن النماذج الرائدة الحالية تعاني مع سير العمل الأصيل وتؤدي بشكل ضعيف مقارنة بالمعايير المرجعية الحالية التي أعدها خبراء.

Zhaoyang Chu, Jiarui Hu, Xingyu Jiang, Pengyu Zou, Han Li, Chao Peng, Peter O'Hearn, Earl T. Barr, Mark Harman, Federica (…)2026-05-22
💻 computer science

Dynamic Hypergraph Representation Learning for Multivariate Time Series without Prior Knowledge

تقترح هذه الورقة نموذجاً مبتكراً يبني فائق رسوم بيانية ديناميكية (dynamic hypergraphs) من سلاسل زمنية متعددة المتغيرات دون معرفة مسبقة عبر الاستفادة من كشف المجتمعات وآليات الانتباه، والتي تتم معالجتها بعد ذلك بواسطة شبكة تلافيف انتباه الفائق الرسوم البيانية الديناميكية (DHACN) لالتقاط العلاقات عالية الرتبة بفعالية لمهام التنبؤ.

Marco Gregnanin, Johannes De Smedt, Giorgio Gnecco, Maurizio Parton2026-05-22