🤖 machine learning

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking

تقترح هذه الورقة البحثية إطار عمل A-IC3، وهو إطار تعلم آلي خفيف الوزن يستخدم خوارزمية "المتعدد الأذرع" (multi-armed bandit) لاختيار استراتيجيات التعميم الاستقرائي المثلى لخوارزمية التحقق من النماذج لعتاد IC3 بشكل ديناميكي، مما يحسن أداءه وقابليته للتوسع بشكل كبير على مجموعة اختبار معيارية ضخمة.

Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang2026-04-24
📊 statistics

There Will Be a Scientific Theory of Deep Learning

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

Jamie Simon, Daniel Kunin, Alexander Atanasov, Enric Boix-Adserà, Blake Bordelon, Jeremy Cohen, Nikhil Ghosh, Florentin (…)2026-04-24
🤖 machine learning

Towards Universal Tabular Embeddings: A Benchmark Across Data Tasks

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

Liane Vogel, Kavitha Srinivas, Niharika D'Souza, Sola Shirai, Oktie Hassanzadeh, Horst Samulowitz2026-04-24
🤖 machine learning

Fairness under uncertainty in sequential decisions

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

Michelle Seng Ah Lee, Kirtan Padh, David Watson, Niki Kilbertus, Jatinder Singh2026-04-24
🔬 mesoscale physics

Neural surrogates for crystal growth dynamics with variable supersaturation: explicit vs. implicit conditioning

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

Matteo Rigoni, Daniele Lanzoni, Francesco Montalenti, Roberto Bergamaschini2026-04-24
🤖 machine learning

Interpretable facial dynamics as behavioral and perceptual traces of deepfakes

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

Timothy Joseph Murphy, Jennifer Cook, Hélio Clemente José Cuve2026-04-24
🤖 machine learning

Transferable Physics-Informed Representations via Closed-Form Head Adaptation

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

Jian Cheng Wong, Isaac Yin Chung Lai, Pao-Hsiung Chiu, Chin Chun Ooi, Abhishek Gupta, Yew-Soon Ong2026-04-24
🤖 machine learning

PrismaDV: Automated Task-Aware Data Unit Test Generation

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

Hao Chen, Arnab Phani, Sebastian Schelter2026-04-24
🤖 machine learning

Probably Approximately Consensus: On the Learning Theory of Finding Common Ground

تقترح هذه الورقة إطاراً للتعلم القابل للتعلم بكفاءة (PAC-learning) ينمذج الإجماع كفترة مثالية في فضاء آراء أحادي البعد مستمد من بيانات عالية الأبعاد، مما يعظم الاتفاق المتوقع عبر القضايا مع مراع actually لبروزها من خلال خوارزمية تقليل الخطأ التجريبي الفعالة والاستعلام الانتقائي للمستخدم.

Carter Blair, Ben Armstrong, Shiri Alouf-Heffetz, Nimrod Talmon, Davide Grossi2026-04-24
🤖 machine learning

GFlowState: Visualizing the Training of Generative Flow Networks Beyond the Reward

يقدم البحث نظام GFlowState، وهو نظام تحليلات بصرية يعزز قابلية التفسير لتدريب شبكات التدفق التوليدية (Generative Flow Network) من خلال تمكين المستخدمين من تصور مسارات أخذ العينات، وإسقاطات الحالة، وتطور السياسة لتصحيح أخطاء النماذج وتحديد إخفاقات التدريب.

Florian Holeczek, Andreas Hinterreiter, Alex Hernandez-Garcia, Marc Streit, Christina Humer2026-04-24