23200 ورقة بحثية
تتقصى هذه الورقة كيفية تعزيز تدوينات تمثيل المعرفة الرسمية المختلفة وطريقة تصنيف قياسية مبتكرة (SEF) لقدرات الاستدلال القياسي للنماذج اللغوية الصغيرة، مما يقدم بديلاً تنافسياً وأسرع للمدخلات اللغوية الطبيعية من خلال إطار بناء قواعد المنطق المشترك (CLGC) مفتوح المصدر.
تقدم هذه الورقة البحثية "Dual-Flow Transformer"، وهي بنية مبتكرة تفصل بين معالجة المطالبة (prompt processing) وفك التشفير التوليدي الذاتي (autoregressive decoding) عبر توظيف تدفق رئيسي لترميز المطالبة وتوليد ذاكرة التخزين المؤقت (KV cache)، إلى جانب تدفق مساعد يتم تفعيله فقط أثناء فك التشفير، مما يتيح توسيع نطاق موارد الحوسبة لكل مرحلة بشكل مستقل لتقليل تكاليف الاستدلال مع تحسين جودة التنبؤ.
تقترح هذه الورقة إطار عمل "Meta-LoRA" المنظم بأسلوب "PAC-Bayes"، وهو إطار عمل مبتكر يجمع بين التهيئة المتعلمة عبر التعلم الميتاوي (meta-learned initialization) وبين معايرة التحديث المدركة للأدلة (evidence-aware update calibration) والتفكيك الوظيفي لتفضيلات المستخدم والنطاق، وذلك لتحقيق تخصيص قوي لنماذج اللغات الكبيرة (LLMs) عبر النطاقات في حالات الصفر أو القليل من الأمثلة، مع منع الإفراط في التخصيص والانتقال السلبي.
تقترح الورقة البحثية نموذج IM-LEPP، وهو نموذج هرمي قائم على الطاقة يدمج الرؤية واللغة من خلال بنية "المحور والأطراف" (hub-and-spoke) لتقديم نظرية آلية وفعالة للإدراك متعدد الوسائط تفسر الظواهر الانتباهية، وتتوافق مع النتائج اللغوية النفسية، وتقدم تنبؤات متميزة مقارنة بالنماذج القائمة على المحولات (transformer-based models).
تقدم هذه الورقة معيار تقييم تشبع القيود (CSE) لتوضيح أنه في حين تستطيع النماذج اللغوية الكبيرة اتباع القيود الفردية ببراعة، فإن قدرتها على تلبية قيود متعددة متزامنة تنهار بشكل ضربي بعد تجاوز 5 إلى 6 قيود نتيجة للتراكم المستقل للإخفاقات، مما يؤثر بشكل خاص على الاستدلال الهيكلي على حساب التفاصيل المعجمية.
يُعد MindMemOS طبقة تشغيل ذاكرة محمولة وذاتية التطور لوكلاء الذكاء الاصطناعي، تستخدم بنية موحدة من الكيان والخاصية والزمن، وبحثاً تطورياً قائماً على التحقق، وتغذية راجعة بشرية ضمنية لتحسين مخططات الذاكرة ديناميكياً وصقل المهارات، محققاً أداءً هو الأفضل في فئته في اختبارات الذاكرة والمهام.
تقدم هذه الورقة دراسة حالة تثبت أن وكيل برمجة يعمل بالذكاء الاصطناعي، يعمل بموجب بروتوكول يعتمد المواصفات أولاً دون أي مراجعة بشرية للكود أو وجود مسبق لمرجع اختبار، قد نجح في تفكيك ثابت معماري جوهري عبر 189 ملفاً ضمن قاعدة كود إنتاجية بلغة TypeScript مكونة من 717 ألف سطر خلال ثلاثة أيام من خلال تحسين المواصفات بشكل تكراري وتصحيح 201 عيباً قبل النشر.
يقدم هذا البحث SchemaLink، وهو محرر ذكي مفتوح المصدر وقائم على الويب يستخدم واجهة رسومية ومساعدة ذكاء اصطناعي تعتمد على تقنية التوليد المعزز بالاسترجاع (RAG) لتبسيط عمليات إنشاء وتنسيق وتوحيد معايير مخططات LinkML للبيانات الطبية الحيوية، لا سيما لمساعدة المنسقين المبتدئين.
تقدم هذه الورقة البحثية "تري أوتوماتون" (trie automaton)، وهي آلية متخصصة تستفيد من مطابقة الأنماط المتعددة لـ "أهو-كوراسيك" (Aho-Corasick) لحساب أقنعة الرموز مسبقاً لفك التشفير المقيد بمجموعات محدودة، مما يحقق إنتاجية أعلى بما يصل إلى 29 ضعفاً وعملية تجميع أسرع بكثير مقارنة بالأنظمة الحالية مثل "إكس جرامر" (XGrammar) مع ضمان صحة المخرجات بنسبة 100%.
تقدم الورقة البحثية "Reasoning Jury" (هيئة محلفي الاستدلال)، وهو نظام فعال من حيث التكلفة يستخدم آلية إجماع مُنسقة بين نماذج لغوية كبيرة متعددة ذات أوزان مفتوحة للتفوق بشكل كبير على النماذج الرائدة في تحديد وتقييم عيوب الاستدلال بدقة داخل مسارات الاستدلال الطويلة.