24064 ورقة بحثية
تقترح هذه الورقة إطار عمل لإعادة الهندسة من نوع (Code2Text2Code) قائم على المواصفات، يعمل على الحد من الانحراف الدلالي وعدم الاتساق السلوكي في تطور البرمجيات بوساطة النماذج اللغوية الكبيرة، وذلك عبر تحويل الكود المصدري إلى مواصفات نصية محايدة للتحقق التكراري قبل إعادة توليد الكود المستهدف.
تقدم الورقة البحثية Meta-Agent، وهو إطار عمل ثنائي المراحل يقوم تلقائياً ببناء وتنفيذ أنظمة متعددة الوكلاء موثوقة من خلال الأوصاف اللغوية الطبيعية عبر دمج تخطيط المهام، والتأصيل القائم على الويب، وآلية تحقق متعددة المستويات للكشف عن الأخطاء والتعافي منها طوال سير العمل.
تتحدى هذه الورقة الرؤية التقليدية القائلة بأن عدم اليقين المعرفي يتلاشى مع زيادة البيانات من خلال إثبات أنه في الشبكات العصبية ذات المعلمات الزائدة، يؤدي عدم التحديد الناتج عن التماثلات والتمثيلات الفائضة إلى استمرار عدم اليقين في المعلمات حتى عندما يتم تحديد الدالة الأساسية بشكل كامل، وهي ظاهرة يحللها المؤلفون نظرياً ويتحققون منها تجريبياً في شبكات ReLU ذات الطبقة المخفية الواحدة.
تقدم هذه الورقة طريقة عزو مرساة بالقيود لسياسات الأمثلة التوليفية العصبية، والتي تقوم بتفكيك القرارات عبر ثنائيات الاسترخاء الخطي (LP-relaxation duals)، وتصديق الحالات المضادة باستخدام نماذج الجدوى التوليفية، وتحديد حدود أحجام التفسير الكافية باختبارات PAC المصححة بطريقة بونفيروني، مما يظهر دقة أعلى بكثير من التدرجات التقريبية عبر مجالات متعددة من المشكلات.
تقدم هذه الورقة البحثية JudgmentBench، وهو معيار مرجعي جديد لـ 30 مهمة قانونية تم تصنيفها من قبل محامين خبراء باستخدام كل من درجات التقييم وفق معايير محددة والتفضيلات الثنائية، مما يثبت أن الأحكام المقارنة تتفوق بشكل كبير على التسجيل القائم على المعايير في استعادة ترتيب الجودة مع تطلب أقل من نصف وقت التصنيف.
يُعد LipoAgent إطار عمل للنماذج اللغوية الكبيرة متعددة الوكلاء والواعية بالسلامة، والذي يدمج الضبط الدقيق الخاص بالمجال مع التنبؤ الشرطي والإشراف البشري لإعطاء الأولوية لقيود السمية، محققاً تحسناً بنسبة 32% في التنبؤ بكفاءة ترانسفكشن (transfection) لـ mRNA ونتائج بيولوجية موثقة لتصميم الجسيمات النانوية الدهنية.
تجادل هذه الورقة بأن مواءمة النماذج اللغوية الكبيرة مع اتخاذ القرار التنظيمي تتطلب قياس مواءمة العملية (كيفية وزن المعلومات) بدلاً من مجرد الاتفاق على المخرجات، وتبرهن من خلال دراسات حالة متباينة أنه بينما تتنبأ مواءمة العملية بالدقة في السياقات القانونية، فإنها قد ترمز إلى أنماط تمييزية في المجالات المتنازع عليها مثل الائتمان الاستهلاكي، مما يكشف عن الطبيعة التعددية للمواءمة التنظيمية.
تقترح هذه الورقة إطار عمل "درع حاجز كوامن" (Latent Q-Barrier Shielding) يعزز التعلم التعزيزي السياقي الآمن في ظل تحولات خارج نطاق التوزيع من خلال استنتاج السياق وتصفية الإجراءات بناءً على التكاليف المستقبلية المتوقعة وميزانيات السلامة المتبقية دون الحاجة إلى تحديثات للمعلمات في وقت الاختبار، مما يحقق مقايضات متفوقة بين المكافأة والسلامة عبر معايير متعددة.
تحل هذه الورقة فرضيات طال أمدها وتؤسس لنتائج جديدة حول الإيجابية والتقعر اللوغاريتمي لفصول تشيرن في الهندسة التعدادية الكلاسيكية من خلال ريادة سير عمل تنسيقي مبتكر يدمج بين أنظمة ذكاء اصطناعي متعددة مع البصيرة الرياضية البشرية.
تقترح هذه الورقة شبكة عصبية نبضية (spiking neural network) من طرف إلى طرف للكشف عن الأجسام من منظور عين الطائر القائم على تقنية ليدار (LiDAR)، والتي تحقق دقة عالية في معيار KITTI مع تقليل استهلاك الطاقة بشكل كبير مقارنة بالشبكات العصبية الالتفافية التقليدية، مما يثبت جدوى الإدراك العصبي الفعال للقيادة الذاتية.