🤖 AI

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?

تقدم الورقة البحثية FormalProofBench، وهو معيار خاص لتقييم قدرة نماذج الذكاء الاصطناعي على توليد براهين رياضية ذات مستوى دراسات عليا ومحققة رسميًا بلغة Lean 4، كاشفةً أن أفضل النماذج أداءً حقق دقة تبلغ 33.5% فقط، مع تقديم تحليل شامل لاستخدام الأدوات، وأنماط الفشل، والكفاءة.

Nikil Ravi, Kexing Ying, Vasilii Nesterov, Rayan Krishnan, Elif Uskuplu, Bingyu Xia, Janitha Aswedige, Langston Nashold2026-03-31
⚡ electrical engineering

PHONOS: PHOnetic Neutralization for Online Streaming Applications

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

Waris Quamer, Mu-Ruei Tseng, Ghady Nasrallah, Ricardo Gutierrez-Osuna2026-03-31
💬 NLP

The Last Fingerprint: How Markdown Training Shapes LLM Prose

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

E. M. Freeburg2026-03-31
💬 NLP

RASPRef: Retrieval-Augmented Self-Supervised Prompt Refinement for Large Reasoning Models

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

Rahul Soni2026-03-31
💬 NLP

Pashto Common Voice: Building the First Open Speech Corpus for a 60-Million-Speaker Low-Resource Language

تقدم هذه الورقة مجموعة بيانات "Pashto Common Voice"، وهي أول مجموعة بيانات صوتية مفتوحة واسعة النطاق للغة البشتو، والتي تم تطويرها من خلال جهد مجتمعي من عام 2022 إلى 2025 لتحسين أداء التعرف على الكلام بشكل كبير للغة التي يتحدث بها 60 مليون شخص، مما قلل معدل خطأ الكلمات من 99.0% إلى 13.4% عند ضبط نموذج "Whisper Base".

Hanif Rahman, Shafeeq ur Rehman2026-03-31
💬 NLP

ChartNet: A Million-Scale, High-Quality Multimodal Dataset for Robust Chart Understanding

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

Jovana Kondic, Pengyuan Li, Dhiraj Joshi, Isaac Sanchez, Ben Wiesel, Shafiq Abedin, Amit Alfassy, Eli Schwartz, Daniel C (…)2026-03-31
💬 NLP

Learning to Predict Future-Aligned Research Proposals with Language Models

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

Heng Wang, Pengcheng Jiang, Jiashuo Sun, Zhiyi Shi, Haofei Yu, Jiawei Han, Heng Ji2026-03-31
🤖 AI

daVinci-LLM:Towards the Science of Pretraining

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

Yiwei Qin, Yixiu Liu, Tiantian Mi, Muhang Xie, Zhen Huang, Weiye Si, Pengrui Lu, Siyuan Feng, Xia Wu, Liming Liu, Ye Luo (…)2026-03-31