🤖 AI

SATViz: Real-Time Visualization of Clausal Proofs

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

Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer, Ashlin Iser2026-08-03
⚡ electrical engineering

Deepfake Media Generation and Detection in the Generative AI Era: A Survey and Outlook

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

Florinel-Alin Croitoru, Andrei-Iulian Hiji, Vlad Hondru, Nicolae Catalin Ristea, Paul Irofti, Marius Popescu, Cristian R (…)2026-08-03
💬 NLP

On the Fundamental Impossibility of Hallucination Control in Large Language Models

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

Michał P. Karpowicz2026-08-03
🤖 machine learning

StaQ: a Finite Memory Approach to Discrete Action Policy Mirror Descent

تقترح هذه الورقة وتتحقق من صحة "StaQ"، وهي خوارزمية ذات ذاكرة محدودة للتعلم التعزيزي ذي الإجراءات المنفصلة، والتي تقرب عملية "هبوط مرآة السياسة" (Policy Mirror Descent) عبر الاحتفاظ بآخر MM من دالات QQ فقط، محققةً بذلك الفوائد النظرية لمتوسط الخطأ دون التعقيد الحسابي للمجموع اللانهائي، مع إثبات تجريبي بأن قيمة MM الكافية تؤدي إلى أداء مماثل لعملية "هبوط مرآة السياسة" الدقيقة.

Alex Davey, Alena Shilova, Brahim Driss, Riad Akrour2026-08-03
🤖 AI

Single- to multi-fidelity history-dependent learning with uncertainty quantification and disentanglement: application to data-driven constitutive modeling

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

Jiaxiang Yi, Bernardo P. Ferreira, Miguel A. Bessa2026-08-03
🤖 machine learning

Towards White-Box Deep Wireless Sensing

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

Xie Zhang, Yina Wang, Chenshu Wu2026-08-03
💬 NLP

"Not in My Backyard": LLMs Uncover Online and Offline Social Biases Against Homelessness

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

Jonathan A. Karr, Benjamin F. Herbst, Matthew L. Sisk, Xueyun Li, Ting Hua, Matthew Hauenstein, Georgina Curto, Nitesh V (…)2026-08-03
🤖 AI

Fast Feature Field (F3\text{F}^3): A Predictive Representation of Events

تقدم هذه الورقة البحثية حقل الميزات السريع (F3\text{F}^3)، وهو تمثيل تنبؤي، متفرق، وفعال للكاميرات القائمة على الأحداث، يحقق معدلات إطارات عالية وأداءً رائدًا عبر مختلف المنصات الروبوتية، وظروف الإضاءة، والمهام اللاحقة مثل التدفق البصري، والتجزئة الدلالية، وتقدير العمق.

Richeek Das, Kostas Daniilidis, Pratik Chaudhari2026-08-03
🤖 AI

Embedded Universal Predictive Intelligence: a coherent framework for multi-agent learning

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

Alexander Meulemans, Rajai Nasser, Maciej Wołczyk, Marissa A. Weis, Seijin Kobayashi, Blake Richards, Guillaume Lajoie (…)2026-08-03
🤖 AI

Multimodal Reinforcement Learning with Adaptive Verifier for AI Agents

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

Reuben Tan, Baolin Peng, Zhengyuan Yang, Hao Cheng, Oier Mees, Theodore Zhao, Andrea Tupini, Isar Meijer, Qianhui Wu, Yu (…)2026-08-03