🤖 machine learning

Floating-Point Neural Network Verification at the Software Level

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

Edoardo Manino, Bruno Farias, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro2026-08-11
💬 NLP

Routesplain: Towards Faithful and Intervenable Routing for Software-related Tasks

يُعد Routesplain أول موجه لنماذج اللغات الكبيرة (LLM) قابل للتفسير للمهام المتعلقة بالبرمجيات، حيث يستخرج مفاهيم مفهومة بشرياً من الاستعلامات لاتخاذ قرارات توجيه وفية، متفوقاً بذلك على كل من النماذج الفردية والأسس المرجعية الصندوقية السوداء في الدقة والتكلفة مع تمكين التدخلات على مستوى المفاهيم.

Adam Štorek, Vikas Upadhyay, Marianne Menglin Liu, Daniel W. Peterson, Anshul Mittal, Sujeeth Bharadwaj, Fahad Shah, Suj (…)2026-08-11
💬 NLP

Tokenisation over Bounded Alphabets is Hard

تثبت هذه الورقة أن عملية التجزئة (tokenisation) عبر الأبجديات المحدودة، بما في ذلك حالتي الثنائية والأحادية، هي مسألة معقدة من فئة NP-complete وAPX-hard جوهرياً، مما يؤكد أن استعصاءها الحسابي هو عائق متأصل وليس مجرد نتاج لضخامة أبجديات المدخلات، وتوضح ضرورة النهج الاستدلالي في الخوارزميات العملية الحالية.

Violeta Kastreva, Philip Whittington, Dennis Komm, Tiago Pimentel2026-08-11
💬 NLP

Length-MAX Tokenizer for Language Models

تقدم الورقة البحثية "Length-MAX tokenizer"، وهي طريقة مبتكرة تُحسّن اختيار المفردات عبر نهج تقسيم الرسوم البيانية لتقليل متوسط الرموز لكل حرف، مما يحقق انخفاضات كبيرة في خطوات التدريب، وزمن انتقال الاستدلال، واستهلاك الذاكرة، مع تحسين الأداء في المهام اللاحقة مقارنةً بترميز زوج البايت (Byte Pair Encoding) القياسي.

Dong Dong, Weijie Su2026-08-11
🤖 machine learning

Benchmarking In-context Experiential Learning Through Repeated Product Recommendations

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

Gilbert Yang, Yaqin Chen, Thomson Yen, Hongseok Namkoong2026-08-11
📊 statistics

Communication-efficient distributed hazard difference estimation for heterogeneous multi-site survival data

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

Ziwen Wang, Siqi Li, Marcus Eng Hock Ong, Nan Liu2026-08-11
⚡ electrical engineering

Hybrid Mamba-Attention Neural Architecture for Channel Estimation

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

Dianxin Luan, Chengsi Liang, Jie Huang, Zheng Lin, Kaitao Meng, John Thompson, Cheng-Xiang Wang, Ozgur Akan2026-08-11
🤖 machine learning

OATS: Online Data Augmentation for Time Series Foundation Models

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

Junwei Deng, Chang Xu, Jiaqi W. Ma, Ming Jin, Chenghao Liu, Xu Zhang, Li Zhao, Jiang Bian2026-08-11
🤖 machine learning

Shattered Compositionality: Counterintuitive Learning Dynamics of Transformers for Arithmetic

تكشف هذه الورقة أن نماذج المحولات (transformers) تتعلم المهارات الحسابية من خلال "تكوينية مهشمة" (shattered compositionality) غير بشرية مدفوعة بالارتباط، بدلاً من القواعد الإجرائية المتسلسلة، مما يؤدي إلى أخطاء خلط مميزة وضعف في المتانة يستمر رغم توسيع النماذج أو الإشراف عبر المسودة (scratchpad supervision).

Xingyu Zhao, Darsh Sharma, Rheeya Uppaal, Yiqiao Zhong2026-08-11
📊 statistics

Universal One-third Time Scaling in Learning Peaked Distributions

تُثبت هذه الورقة أن التقارب ذو قانون القوة البطيء والمكلف حاسبياً، والملاحظ في تدريب النماذج اللغوية الكبيرة، هو نتيجة جوهرية لاستخدام "softmax" و"cross-entropy" لتعلم التوزيعات المرتفعة، مما يؤدي عالمياً إلى أس زمن قياسي قدره 1/3.

Yizhou Liu, Ziming Liu, Cengiz Pehlevan, Jeff Gore2026-08-11