🤖 AI

Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis

تقترح هذه الورقة "التفسير الوكيل" (agentic interpretation)، وهو إطار عمل يطبق مبادئ التحليل الساكن القائم على الشبكة (lattice-based static analysis) على الاستدلال البرمجي المدفوع بالنماذج اللغوية الكبيرة (LLM) من خلال تفكيك أهداف التحليل إلى ادعاءات محلية يتم تتبعها ضمن شبكة ذات ارتفاع محدد، مما يتيح تحليلاً برمجياً أكثر متانة وقائماً على الأدلة وتكرارياً مقارنة بالنهج أحادي المحاولة الهش.

Jacqueline L. Mitchell, Chao Wang2026-05-14
🤖 machine learning

Do Fair Models Reason Fairly? Counterfactual Explanation Consistency for Procedural Fairness in Credit Decisions

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

Gideon Popoola, John Sheppard2026-05-14
⚛️ quantum physics

Controllable Quantum Memory Capacity in Quantum Reservoir Networks with Tunable partial-SWAPs

تقدم هذه الورقة آلية تبديل جزئي (partial-SWAP) قابلة للضبط وقابلة للتنفيذ عتاديًا لشبكات الخزان الكمومي، توفر تحكمًا مباشرًا في معدلات تبدد الذاكرة، مما يعزز القدرة على التحكم وفهم سعة الذاكرة في البنى الكمومية المتكررة التي تم التحقق من صحتها من خلال المحاكاة ومعالجات IBM الكمومية.

Erik L. Connerty, Ethan N. Evans2026-05-14
🤖 AI

The End Justifies the Mean: A Linear Ranking Rule for Proportional Sequential Decisions

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

Carmel Baharav, Niclas Boehmer, Bailey Flanigan, Maximilian T. Wittmann2026-05-14
🤖 AI

Large Language Models for Agentic NetOps and AIOps: Architectures, Evaluation, and Safety

تجادل هذه الورقة بأن أنظمة عمليات الشبكات (NetOps) وعمليات تكنولوجيا المعلومات المدعومة بالذكاء الاصطناعي (AIOps) الوكيلة، والآمنة والموثوقة، تعتمد بشكل أقل على النماذج اللغوية نفسها، وبشكل أكبر على البنى المحيطة القوية — مثل عقود الضمان، والتقييمات المعزولة (sandboxed)، وأطر الحوكمة — التي تعامل الاستقلالية كمسألة تحكم تشغيلي مقيد لضمان النشر القابل للتدقيق والآمن.

Muhammad Bilal, Jon Crowcroft, Ruizhi Wang, Xiaolong Xu, Schahram Dustdar2026-05-14
🤖 AI

What Do You Think I Think? Accounting for Human Beliefs Using Second-Order Theory of Mind

تقدم هذه الورقة إطار عمل لنظرية العقل من الدرجة الثانية باستخدام نماذج عمليات ماركوف لاتخاذ القرار تحت عدم اليقين المستند إلى المعلومات (I-POMDPs)، مما يمكّن الوكيل من اكتشاف التحيزات المعرفية البشرية والمعتقدات الخاطئة حول الوكيل ومعالجتها تكيفياً، وبالتالي تحسين جودة التفاعل وفائدة التغذية الراجعة كما تم إثباته في دراسة مستخدم.

Patrick Callaghan, Reid Simmons, Henny Admoni2026-05-14
💬 NLP

Simulating Students or Sycophantic Problem Solving? On Misconception Faithfulness of LLM Simulators

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

Heejin Do, Shashank Sonkar, Mrinmaya Sachan2026-05-14
🤖 machine learning

Multi-Quantile Regression for Extreme Precipitation Downscaling

تقدم هذه الورقة البحثية شبكة Q-SRDRN، وهي شبكة دقة فائقة متعددة المئويات يتم تدريبها باستخدام فقدان "بينبول" (pinball loss) ومكونات معمارية متخصصة للتغلب على النقص المنهجي في تقدير أحداث هطول الأمطار الشديدة في عمليات التصغير باستخدام التعلم العميق، محققةً معدلات كشف محسنة بشكل كبير لأحداث الذيل الثقيل عبر مناطق متنوعة في الولايات المتحدة مقارنة بالنماذج الحتمية المرجعية.

Hamed Najafi, Gareth Lagerwall, Jayantha Obeysekera, Jason Liu2026-05-14
🤖 machine learning

WriteSAE: Sparse Autoencoders for Recurrent State

تقدم هذه الورقة WriteSAE، وهو أول مشفر تلقائي متناثر (sparse autoencoder) مصمم لتفكيك وتحرير عمليات كتابة ذاكرة التخزين المؤقت للمصفوفات (matrix cache writes) في نماذج اللغة ذات فضاء الحالة (state-space) والنماذج المتكررة الهجينة، وذلك عبر تحليل ذرات فك التشفير إلى شكل تحديثها الأصلي من الرتبة 1 (rank-1 update shape)، مما يتيح تدخلات سلوكية دقيقة وتنبؤاً عالي الدقة بالأثر.

Jack Young2026-05-14
⚡ electrical engineering

Adaptive Smooth Tchebycheff Attention for Multi-Objective Policy Optimization

تقترح هذه الورقة إطار عمل "تشيبيتشيفف السلس التكيفي" (Adaptive Smooth Tchebycheff) الذي يعمل على تعديل سلاسة التحسين ديناميكيًا بناءً على تداخل التدرج في الوقت الفعلي، مما يتيح الاكتشاف القوي للسياسات المثلى في باريتو (Pareto-optimal policies) ضمن المناطق غير المحدبة للمهام الروبوتية متعددة الأهداف حيث تفشل الطرق غير الخطية الثابتة وتكون طرق التسكير الخطي (linear scalarizations) محدودة نظريًا.

Alejandro Murillo-Gonzalez, Mahmoud Ali, Lantao Liu2026-05-14