🤖 machine learning

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes

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

Yasmine Abu-Haeyeh, Tobias Ladner, Matthias Althoff, Lars Hedrich2026-05-12
🤖 AI

ASIA: an Autonomous System Identification Agent

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

Dario Piga, Marco Forgione2026-05-12
🤖 AI

DeepRefine: Agent-Compiled Knowledge Refinement via Reinforcement Learning

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

Haoyu Huang, Jiaxin Bai, Shujie Liu, Yang Wei, Hong Ting Tsang, Yisen Gao, Zhongwei Xie, Yufei Li, Yangqiu Song2026-05-12
🤖 AI

Multi-layer attentive probing improves transfer of audio representations for bioacoustics

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

Marius Miron, David Robinson, Masato Hagiwara, Titouan Parcollet, Jules Cauzinille, Gagan Narula, Milad Alizadeh, Ellen (…)2026-05-12
📊 statistics

Simultaneous Long-tailed Recognition and Multi-modal Fusion for Highly Imbalanced Multi-modal Data

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

Heegeon Yoon, Heeyoung Kim2026-05-12
🤖 AI

SLASH the Sink: Sharpening Structural Attention Inside LLMs

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

Yiming Liu, Bin Lu, Xinbing Wang, Chenghu Zhou, Meng Jin2026-05-12
🤖 AI

SoK: A Systematic Bidirectional Literature Review of AI & DLT Convergence

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

Ali Irzam Kathia, Yimika Erinle, Abylay Satybaldy, Paolo Tasca, Nikhil Vadgama, Marco Alberto Javarone2026-05-12
🤖 AI

Consistency as a Testable Property: Statistical Methods to Evaluate AI Agent Reliability

تقدم هذه الورقة إطاراً إحصائياً صارماً باستخدام إحصاءات-U والمقاييس القائمة على النواة للتمييز بين القدرات الجوهرية لوكيل الذكاء الاصطناعي ومتانة تنفيذه، مما يثبت أن مقاييس الاتساق على مستوى المسار توفر حساسية تشخيصية متفوقة على معدلات pass@1 التقليدية لتحديد مشكلات الموثوقية في البيئات عالية المخاطر.

Harsh Raj, Niranjan Orkat, Suvrorup Mukherjee, Aritra Guha, Cheryl Flynn, Subhabrata Majumdar2026-05-12
🤖 AI

Infinite Mask Diffusion for Few-Step Distillation

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

Jaehoon Yoo, Wonjung Kim, Chanhyuk Lee, Seunghoon Hong2026-05-12
🤖 AI

DuetFair: Coupling Inter- and Intra-Subgroup Robustness for Fair Medical Image Segmentation

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

Yiqi Tian, Sangjoon Park, Bo Zeng, Pengfei Jin, Yujin Oh, Quanzheng Li2026-05-12