23511 ورقة بحثية
تقدم الورقة البحثية BRIDGE، وهو إطار عمل للتحفيز المهيكل يعمل على تفكيك تركيب البرامج إلى مجالات مترابطة تشمل الكود والمواصفات والنظرية/البرهان، وذلك لتحسين دقة وكفاءة العينات بشكل كبير في توليد كود Lean والحلول بلغة Python التي تم التحقق منها عبر نماذج لغوية كبيرة متعددة.
تقدم هذه الورقة مجموعة بيانات "The Spheres"، وهي مجموعة شاملة من التسجيلات الأوركسترالية متعددة المسارات التي تضم أكثر من ساعة من عروض فرقة "Colibrì Ensemble" التي تم التقاطها بواسطة 23 ميكروفوناً، والمصممة لتعزيز أبحاث تعلم الآلة في مجالات فصل المصادر الموسيقية، والتحديد الموضعي، والتقديم الغامر ضمن مجال الموسيقى الكلاسيكية.
تقدم هذه الورقة إطار عمل للتعلم متعدد الوسائط يدمج هياكل شبكات الطرق مع صور الأقمار الصناعية عالية الدقة والبيانات البيئية لتحسين دقة التنبؤ بحوادث المرور بشكل كبير وتمكين التقدير السببي لعوامل الخطر الرئيسية مثل هطول الأمطار، وسرعة الطريق، والأنماط الموسمية.
تقدم هذه الورقة مفهوم تعقيد المتوسط لتوضيح أن تحقيق التماثل التقريبي في نماذج تعلم الآلة أسهل بشكل أسي من فرض التماثل التام، مما يوفر تبريراً رسمياً للتفضيل التجريبي للتماثل التقريبي في الممارسة العملية.
تقدم هذه الورقة معيار Do-Undo، وهو إطار عمل جديد يقيم قدرة نماذج الرؤية واللغة على فهم ديناميكيات الحركة في العالم الحقيقي من خلال مطالبتها بتوليد تحولات منطقية للمشهد ثم عكسها لاحقاً إلى حالاتها الأصلية.
تحلل هذه الورقة تحيزات العينات المحدودة لعينات مطابقة التدفق من خلال إنشاء تسلسل هرمي من النماذج التجريبية التي تكشف كيف تؤثر التوزيعات المستهدفة البديلة، والمقللات التجريبية غير المتدرجة، وديناميكيات الجسيمات غير الفريدة على الدقة الإحصائية، مع إثبات كيفية تحكم اختيار توزيع المصدر في سلوك الذيل للطاقة الحركية.
تحل هذه الورقة المشكلة المفتوحة المتمثلة في توصيف تعقيد العينة لعملية التحديد بنسبة 1 (1-identification) في الأذرع المتعددة ذات العوائد (multi-armed bandits) من خلال اشتقاق حد أدنى جديد واقتراح خوارزمية تحقق حدوداً عليا مطابقة حتى العوامل اللوغاريتمية للحالات التي تحتوي على ذراع مؤهلة واحدة على الأقل.
تقدم هذه الورقة OPT-Engine، وهو إطار عمل معياري قابل للتوسع لتقييم النماذج اللغوية الكبيرة في مهام نمذجة الأمثلة، كاشفةً أن النماذج الحالية تعاني من ضعف المتانة مع زيادة التعقيد، ومحددةً صياغة القيود المؤتمتة باعتبارها العائق الرئيسي أمام الاستدلال المتكامل مع الحلّال (solver).
تقدم هذه الورقة البحثية MAPLE، وهو أسلوب لتقليل الأبعاد غير الخطي المعزز بالتعلم ذاتي الإشراف والذي يتفوق على UMAP من خلال استخدام تمثيلات السعة القصوى للمتعدد (manifold capacity) لنمذجة هندسات المتعدد المعقدة بشكل أفضل، مما يؤدي إلى فصل بصري متفوق للمجموعات ودقة أعلى في تمييز المجموعات الفرعية للبيانات عالية الأبعاد.
تقدم الورقة البحثية PARADIS، وهي بنية عصبية مستوحاة من الفيزياء تعمل على تحسين التنبؤ بالطقس من خلال تفكيك عملية التنبؤ صراحةً إلى كتل متميزة من الحمل الحراري، والانتشار، والتفاعل، باستخدام مؤثر عصبي شبه لاغرانجي قابل للتفاضل لنمذجة النقل بعيد المدى بكفاءة مع تحقيق مهارة تنافسية ودقة طيفية فائقة على معايير ERA5.