🧬 biology

Do Biological Structural Guarantees Earn Their Complexity?

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

Bogdan Banu2026-05-18
💻 computer science

Is Agentic AI Ready for Real-World Hardware Engineering? A Deep Dive with Phoenix-bench

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

Qingyun Zou, Feng Yu, Hongshi Tan, Bingsheng He, WengFai Wong2026-05-18
🤖 AI

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems

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

Jun He, Deying Yu2026-05-18
💻 computer science

PBT-Bench: Benchmarking AI Agents on Property-Based Testing

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

Lucas Jing, Xinqi Wang, Liao Zhang, Simon S. Du2026-05-18
💻 computer science

A3D: Agentic AI flow for autonomous Accelerator Design

تقدم الورقة البحثية A3D، وهو إطار عمل للذكاء الاصطناعي الوكيل الذي ينسق ذاتياً تحليل عبء العمل، وإعادة هيكلة الكود، وتوليد البنية الدقيقة لإنتاج تصميمات مسرعات عتادية شاملة للتطبيقات العلمية المعقدة دون تدخل بشري.

Abinand Nallathambi, Christopher Knight, Shantanu Ganguly, Wilfried Haensch, Anand Raghunathan2026-05-18
🤖 machine learning

Reading the Cell, Designing the Cure: Perturbation-Conditioned Molecular Diffusion for Function-Oriented Drug Design

تقدم هذه الورقة \themodel{}، وهو إطار عمل انتشار جديد متعدد الدقة وموجه بالترانسكريبتوم، يعالج الطبيعة غير محددة المعالم للتصميم الدوائي القائم على الترانسكريبتوم من خلال سد الفجوة بين المجال البيولوجي والمجال الكيميائي لتوليد جزيئات مشروطة بانتقالات الحالة الخلوية المرغوبة.

Ziyu Xu, Zijian Zhang, Liang Wang, Zhiyuan Liu, Qiang Liu, Shu Wu, Liang Wang2026-05-18
🤖 machine learning

GQLA: Group-Query Latent Attention for Hardware-Adaptive Large Language Model Decoding

تقترح الورقة البحثية آلية "انتباه الكوامن لمجموعات الاستعلام" (GQLA)، وهي تعديل متكيف مع الأجهزة لآلية "الانتباه الكامن متعدد الرؤوس" (MLA) الخاصة بـ DeepSeek، تتيح لمجموعة واحدة من الأوزان التبديل ديناميكيًا بين مسار امتصاص (MQA-absorb) لوحدات معالجة الرسوميات من فئة H100 ومسار (GQA) لوحدات معالجة الرسوميات السلعية مثل H20، مما يؤدي إلى تحسين كفاءة الاستدلال ودعم التنبؤ متعدد الرموز دون الحاجة إلى إعادة تدريب أو نوى مخصصة.

Fanxu Meng2026-05-18
🤖 machine learning

GQA-{\mu}P: The maximal parameterization update for grouped query attention

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

Kyle R. Chickering, Huijuan Wang, Mengxi Wu, Alexander Moreno, Muhao Chen, Xuezhe Ma, Daria Soboleva, Joel Hestness, Zhe (…)2026-05-18
🤖 machine learning

GESD: Beyond Outcome-Oriented Fairness

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

Gideon Popoola, John Sheppard2026-05-18
💻 computer science

Fortress: A Case Study in Stabilizing Search Recommendations via Temporal Data Augmentation and Feature Pruning

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

Milind Pandurang Jagre, Jia Huang, Dayvid V. R. Oliveira, Zhinan Cheng, Babak Seyed Aghazadeh, Puja Das, Chris Alvino, J (…)2026-05-18