🔬 condensed matter

Topological Data Analysis combined with Machine Learning for Predicting Permeability of Porous Media

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

Ebru Dagdelen, Catherin Neena Lalu, Aakash Karlekar, Manav Arora, Matthew Illingworth, Jonathan Jaquette, Linda Cummings (…)2026-05-19
🤖 machine learning

Form and Function: Machine Unlearning as a Problem of Misaligned States

تعيد هذه الورقة صياغة عملية "إلغاء التعلم" (unlearning) لخوارزمية L-BFGS عبر الإنترنت باعتبارها مشكلة محاذاة حالة مضادة للواقع، حيث تثبت أن إلغاء التعلم الفعال يتطلب تصحيح كل من معاملات النموذج وحالة الذاكرة الداخلية للمُحسِّن لتتطابق مع مسار مضاد للواقع قابل للتحقيق، بدلاً من مجرد تعديل المعاملات.

Kennon Stewart2026-05-19
💻 computer science

AutoRubric-T2I: Robust Rule-Based Reward Model for Text-to-Image Alignment

يُعد AutoRubric-T2I إطار عمل مبتكرًا يقوم تلقائيًا بتوليد واختيار معايیاں (rubrics) صريحة وقابلة للتفسير لتوجيه نماذج الرؤية واللغة الحاكمة، مما يحقق أفضل النتائج في محاذاة النص إلى الصورة مع قابلية تفسير عالية واعتماد أدنى على بيانات التفضيل البشري واسعة النطاق.

Kuei-Chun Kao, Daixuan Huo, Yuanhao Ban, Cho-Jui Hsieh2026-05-19
🤖 machine learning

Adaptive Generate-Rank-Verify: Inference-Time Search with Costly Verification

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

Shaddin Dughmi, Mahdi Haghifam, Yusuf Hakan Kalayci2026-05-19
💻 computer science

A Feature-Driven Framework for Software Fault Prediction

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

Ahmad Nauman Ghazi, Nagajyothi Devarapalli, Ashir Javeed, Sadi Alawadi, Fahed Alkhabbas, Khalid AlKharabsheh2026-05-19
💻 computer science

VeriCache: Turning Lossy KV Cache into Lossless LLM Inference

إن VeriCache هو إطار استدلال يحقق مخرجات نماذج لغوية كبيرة (LLM) غير فاقدة للجودة ومطابقة لعملية فك التشفير باستخدام ذاكرة التخزين المؤقت الكاملة لـ KV، بينما يعزز الإنتاجية بشكل كبير عبر استخدام ذاكرات KV المخزنة مؤقتًا والمضغوطة لصياغة الرموز والتحقق منها مقابل الذاكرة الكاملة، التي تُحفظ خارج ذاكرة وحدة معالجة الرسومات (GPU) ولا يتم استدعاؤها إلا عند الضرورة.

Jiayi Yao, Samuel Shen, Kuntai Du, Shaoting Feng, Dongjoo Seo, Rui Zhang, Yuyang Huang, Yuhan Liu, Shan Lu, Junchen Jian (…)2026-05-19
💻 computer science

SynVA: A Modular Toolkit for Vessel Generation and Aneurysm Editing

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

Marten J. Finck, Niklas C. Koser, Sarker M. Mahfuz, Tameem Jahangir, Jon E. Wilhelm, Daniel Behme, Naomi Larsen, Wojtek (…)2026-05-19
🤖 machine learning

Verifier-Guided Code Translation via Meta-Step Decoding

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

Tianyang Zhou, Somesh Jha, Mihai Christodorescu, Kirill Levchenko, Varun Chandrasekaran2026-05-19
⚛️ high-energy experiments

ML-based Fast Simulation of FARICH Responses

تقدم هذه الورقة شبكة خصومية توليدية شرطية (cGAN) خفيفة الوزن تسرع بشكل كبير محاكاة استجابات كاشف FARICH من خلال توليد عينات واقعية لضربات الفوتونات مشروطة بمسارات الجسيمات والزخم، متفوقة بذلك على طرق مونت كارلو التقليدية في السرعة مع الحفاظ على الدقة.

Foma Shipilov, Alexander Barnyakov, Vladimir Bobrovnikov, Artem Ivanov, Sergey Kononov, Fedor Ratnikov2026-05-19