🤖 machine learning

ChemWorld: Programmable Chemical Worlds for Controlled and Replayable Agent Experimentation

تقدم الورقة البحثية ChemWorld، وهو بيئة كيميائية قابلة للبرمجة تفصل بين العقود التجريبية العامة والقوانين الكيميائية الخاصة لتمكين إجراء تجارب الوكلاء بشكل محكوم وقابل لإعادة الإنتاج ومتنوع بشكل منهجي كركيزة مكملة للمختبرات الفيزيائية.

Jiangjie Qiu, Yijun Li, Xiaonan Wang2026-08-12
💻 computer science

EvoMem: Memory-Augmented Evolution for Code Optimization

تُعد EvoMem بنية ذاكرة مستمرة للبحث التطوري عن الكود المدفوع بنماذج اللغات الكبيرة، حيث تلتقط وتعيد استخدام استراتيجيات الطفرات الناجحة كإرشادات مهيكلة ومرتبطة بالمهام لتقليل الاستكشاف غير الضروري وتحسين التحسين عبر المهام المتنوعة.

Viktor Volkov, Valentin Khrulkov, Andrey V. Galichin, Danil Sivtsov, Nikita Glazkov, Olga Volkova, Konstantin Pchelin, I (…)2026-08-12
💻 computer science

Fast and Memory-Efficient Wavelet Convolutions via I/O-Aware Reformulation

تتناول هذه الورقة عدم الكفاءة المرتبط بسعة الذاكرة في عمليات الالتفاف المويجي (wavelet convolutions) من خلال تقديم إعادة صياغة مدركة لعمليات الإدخال والإخراج (I/O-aware) تقلل من حركة بيانات الذاكرة ذات النطاق العريض (HBM) بمقدار 2.55 ضعفاً، مما يحقق تسريعاً في التدريب يصل إلى 4.35 ضعفاً ويقلل ذروة استخدام الذاكرة إلى النصف مع الحفاظ على الفوائد النظرية للمنهجية.

Amit Aflalo, Shahaf E. Finder, Roy Amoyal, Eran Treister, Oren Freifeld2026-08-12
💻 computer science

Modelling Geographic Atrophy Progression using Implicit Neural Representations

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

Simone Sarrocco, Paul Friedrich, Florentin Bieder, Christina Bornberg, Philippe Valmaggia, Peter Maloca, Philippe Cattin2026-08-12
💻 computer science

MIRA: Medical Image Reflection for Agentic Diagnosis

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

Shengzhi Wang, Jun Yang, Kai Wu, Xiaozhong Ji, Yiwen Ye, Ziyang Chen, Mingliang Xiong, Wen Fang, Mingqing Liu, Mengyuan (…)2026-08-12
💻 computer science

Whisper-Aware LLM: Self-Supervised Uncertainty Learning for Robust Whispered Speech Recognition

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

Gaopeng Xu, Zhenyu Wang, Zheng Xue, Yinfeng Xia, Haitao Yao2026-08-12
💻 computer science

Hypothesis Frontier: Verifier Guided LLM and Symbolic Search for First-Order Induction

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

Serafim Batzoglou2026-08-12
💻 computer science

Enhanced Filtering Algorithms for the Euclidean Traveling Salesperson Problem and its variants in Constraint Logic Programming

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

Alessandro Bertagnon, Marco Gavanelli2026-08-12
💬 NLP

FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation

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

Rob Cornish, Iacopo Ghinassi, Po-Hung Yeh, Shuqi Liu, Qiyuan Xu, Haoxuan Yin, Dominik Wagner, Wenda Li, Yee Whye Teh, Lu (…)2026-08-12
💻 computer science

FedCGR: Federated Cross-Domain Generative Recommendation

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

Zhuodong Liu, Hugen Lv, Xiangyu Li, Bohan Guo, Peiyu Hu2026-08-12