24831 ورقة بحثية
تقدم هذه الورقة دراسة حالة لصياغة مسألة "الجراد" (Grasshopper) من أولمبياد الرياضيات الدولي لعام 2009 باستخدام لغة Lean 4 عبر واجهة برمجة تطبيقات Aristotle، مما يوضح أنه بينما يمكن للذكاء الاصطناعي التحقق بنجاح من المكونات المحلية لاستراتيجية الإثبات، فإنه يواجه صعوبة حالياً في حل المسائل المتعلقة بالتدقيق الحسابي التوافقي الشامل المطلوب لإتمام المبرهنة الرئيسية.
تقدم هذه الورقة إطاراً موحداً يقيم المحاذاة بين النموذج والدماغ من خلال قياس الأبعاد المحددة والقابلة للتكرار في فضاء الاستجابة الدماغية التي يتم استردادها، مما يكشف أن دقة التنبؤ وحدها يمكن أن تحجب تباينات جوهرية بين نماذج الرؤية الاصطناعية والقشرة البصرية البشرية.
تُثبت هذه الورقة أن استخدام المطالبات المحسنة بقوائم التحقق يعزز بشكل كبير جودة استجابات النماذج اللغوية الكبيرة عبر مهام متنوعة، مع تقليل جهد المستخدم واستهلاك الرموز مقارنة بالمطالبات الخام أو المطالبات التي تستخدم الأسئلة التوضيحية.
تقدم هذه الورقة MedFocus، وهو أسلوب عزو قائم على المفاهيم يستفيد من التقييم السببي والنقل الأمثل غير المتوازن لتحديد المناطق ذات المعنى السريري في صور الأشعة السينية للصدر بدقة، مما يعالج فشل الأساليب الحالية في تفسير استدلال نماذج الرؤية واللغة الكبيرة بصدق في التطبيقات الطبية.
تقترح هذه الورقة أول نهج مؤتمت باستخدام برمجة مجموعة الإجابات (ASP) لتحسين التخطيط طويل الأمد لشبكة الطاقة، مما يثبت فعاليتها في التعامل مع القيود الطوبولوجية والتركيبية المعقدة من خلال تجارب على كل من البيانات الاصطناعية والواقعية.
مستوحاةً من العلوم المعرفية، تقدم هذه الورقة عميلاً مجهزاً بنظامي ذاكرة دلالية وذاكرة عرضية يتفوق على الوكلاء ذوي الذاكرة الواحدة في بيئة "الغرفة" المصممة حديثاً، مع إثبات أن التعاون بين الإنسان والآلة يحقق نتائج متفوقة مقارنة بالوكلاء المستقلين.
مستلهماً من العلوم المعرفية البشرية، تقدم هذه الورقة البحثية عميل تعلم "Q" عميقاً مجهزاً بأنظمة ذاكرة قصيرة المدى، وعرضية، ودلالية مصممة كرسوم بيانية للمعرفة، مما يثبت أن مثل هذا الهيكل يمكّن العميل من تعلم استراتيجيات إدارة الذاكرة بفعالية والتفوق على العملاء الذين يفتقرون إلى هذه البنية في بيئة تعلم تعزيزي مخصصة تسمى "الغرفة".
تقدم هذه الورقة إطاراً جديداً للتحكم المراعي للموارد يعامل الاستدلال كمورد مكلف، كاشفاً أن الوكلاء الأمثل في ظل القيود الحسابية يجب أن يوظفوا استدلالاً فاقداً للمعلومات، ويستفيدوا من متشعبات حلول مرنة، ويوجهوا الأنظمة بنشاط نحو أنظمة تمثيل منخفضة التكلفة لتحقيق التوازن بين المنفعة وكفاءة الموارد.
تقترح هذه الورقة إطار عمل ERFSL، وهو إطار عمل فعال يستفيد من النماذج اللغوية الكبيرة كباحثين بنظام الصندوق الأبيض لتوليد وتحسين دوال المكافأة متعددة الأهداف بشكل تكراري في البيئات المخصصة المعقدة من خلال الفهم الدلالي، ومنتقد مكافأة لتصحيح الكود، واستراتيجيات ضبط الأوزان الشبيهة بالخوارزميات الجينية، مما يحقق تقارباً سريعاً نحو الحلول المثلى في جبهة باريتو بأقل قدر من التغذية الراجعة البشرية.
تقدم هذه الورقة نظاماً فعالاً من حيث التكلفة للكشف البصري عن الشذوذ للمؤسسات الصغيرة والمتوسطة، والذي يستفيد من نماذج التعلم غير الخاضع للإشراف من Anomalib المنشورة عبر OpenVINO على أجهزة Raspberry Pi منخفضة التكلفة، محققاً دقة عالية (F1 > 0.95) مع حد أدنى من بيانات التدريب (10 صور) واستدلال سريع (90 ثانية).