Le Critique: Privileged Value Functions for LLM Reinforcement Learning
تقدم الورقة البحثية "Le Critique"، وهو إطار عمل يعزز التعلم المعزز للنماذج اللغوية الكبيرة من خلال الجمع بين دوال القيمة المتميزة (PVF) لحقن الإشارات ذات الصلة بالمهمة على مستوى الرمز (token-level)، وتقنية TETHER للاستيفاء التكيفي بين المراجع النسبية للمجموعة ومراجع القيمة، مما يحقق أداءً فائقاً مقارنة بمراجع دالة القيمة القياسية ونتائج تنافسية مع GRPO مع التخفيف من مشكلات مثل عمليات التدحرج المتأخرة (straggler rollouts) والتباين العالي.
في عالم الذكاء الاصطناعي، هناك صراع مستمر لتعليم برامج الكمبيوتر كيف تفكر بشكل أفضل. تخيل طالباً يؤدي اختباراً؛ إذا حصل على الإجابة النهائية الصحيحة، يحصل على درجة جيدة، وإذا أخطأ، يحصل على درجة سيئة. هكذا تتعلم العديد من أنظمة الذكاء الاصطناعي الحديثة: فهي تجرب طرقاً مختلفة لحل المشكلة، ثم يقوم الكمبيوتر بتعديل "دماغه" بناءً على ما إذا كانت النتيجة النهائية نجاحاً أم فشلاً. تُسمى هذه الطريقة "التعلم المعزز". ومع ذلك، هناك عقبة؛ فإذا كتب الطالب مقالاً طويلاً ومعقداً وحصل على درجة نهائية خاطئة، فإن الكمبيوتر لا يعرف أي جملة محددة هي التي تسببت في الخطأ، بل يعرف فقط أن المقال بأكمله كان سيئاً. هذا يجعل التعلم بطيئاً وغير فعال، مثل محاولة إصلاح محرك سيارة عبر التخمين أي جزء هو المعطل دون امتلاك أي أدوات.
لحل هذه المشكلة، حاول الباحثون منذ فترة طويلة بناء "ناقد" للذكاء الاصطناعي. وهذا الناقد عبارة عن برنامج كمبيوتر ثانٍ يراقب الطالب أثناء الكتابة، جملة بجملة، ويتنبأ بمدى جودة الإجابة النهائية. إذا استطاع الناقد تخمين الدرجة النهائية في وقت مبكر، فيمكنه إخبار الطالب فوراً عندما يتخذ مساراً خاطئاً، مما يسمح بتعلم أسرع وأكثر دقة. ولفترة طويلة، تراجع هذا النهج لأن بناء وتدريب هذا البرنامج الثاني كان صعباً وغير موثوق به في كثير من الأحيان. ومؤخراً، اتجه المجال نحو أساليب تتجاهل الناقد تماماً، معتمدة بدلاً من ذلك على مقارنة مجموعات من الإجابات ببعضها البعض. لكن هذه الورقة البحثية تشير إلى أن فكرة الناقد القديمة لم تمت، بل كانت تحتاج فقط إلى طريقة جديدة لرؤية العالم.
اكتشف الباحثون، الذين يعملون في شركة "ميسترال إيه آي" (Mistral AI) ومؤسسات أخرى، أن الناقد يفشل ليس لأنه فكرة سيئة، بل لأنه غالباً ما يُطلب منه القيام بالمستحيل. فقد وجدوا أنه إذا أعطوا الناقد القليل من المعلومات الإضافية التي لا يُسمح للذكاء الاصطناعي (الطالب) برؤيتها، فسيصبح الناقد دقيقاً للغاية. ويطلقون على هذا اسم "دالة القيمة المميزة" (privileged value function). لفهم كيفية عمل ذلك، تخيل طالباً يؤدي اختباراً في الرياضيات؛ الطالب يحل مسألة خطوة بخطوة، والناقد يراقبه. في الحالة العادية، يتعين على الناقد تخمين الدرجة النهائية بناءً على ما كتبه الطالب حتى الآن فقط. ولكن في هذا الإعداد الجديد، يتم تسليم الناقد سراً نموذج الإجابة الصحيح. هو لا يظهر الإجابة للطالب، لكنه يستخدم تلك المعرفة السرية لتقييم تقدم الطالب الحالي بدقة أكبر. فإذا كانت خطوة الطالب الحالية بعيدة عن المسار الصحيح، يعرف الناقد ذلك فوراً ويعطي إشارة واضحة لتغيير المسار. هذه الإشارة تساعد الطالب على التعلم بشكل أسرع مما لو كان على الناقد التخمين بعمى.
اختبر الفريق هذه الفكرة في عدة مهام استدلالية صعبة، بما في ذلك حل الألغاز المنطقية وكتابة أكواد البرمجة. وفي إحدى التجارب، استخدموا لغز "سودوكو"، حيث كان على الذكاء الاصطناعي ملء شبكة رقم واحد تلو الآخر. كان بإمكان الذكاء الاصطناعي الأساسي رؤية الأرقام التي وضعها بالفعل فقط، أما الناقد "المميز"، فقد عُرضت عليه الشبكة كاملة ومحلولة. سمح هذا للناقد بإخبار الذكاء الاصطناعي فوراً ما إذا كانت حركته ستؤدي إلى طريق مسدود، حتى لو لم يقم الذكاء الاصطناعي إلا بعدد قليل من الحركات. كانت النتائج مذهلة؛ ففي كل مهمة جربوها، ساعد استخدام هذا الناقد "المميز" الذكاء الاصطناعي على التعلم بشكل أسرع والوصول إلى درجات أعلى من الطرق القياسية. لم يكن الأمر مجرد حظ، بل تعلم الذكاء الاصطناعي اتخاذ قرارات أفضل لأنه امتلك خريطة أوضح للمكان الذي يتجه إليه.
أدرك الباحثون أيضاً أن الناقد لا يزال يتعلم أحياناً وليس مثالياً بعد؛ فإذا كان الناقد واثقاً جداً ولكنه مخطئ، فقد يربك الذكاء الاصطناعي. ولإصلاح ذلك، بنوا أداة ثانية تسمى "تيثر" (Tether). يعمل هذا النظام كمفتاح ذكي؛ ففي بداية التدريب، عندما يكون الناقد جديداً وغير موثوق، يعتمد النظام بشكل أساسي على مقارنة مجموعات من الإجابات، وهي طريقة آمنة ولكنها أبطأ. ومع تحسن قدرة الناقد وبدء تقديمه لنصائح دقيقة، يقوم نظام "تيثر" بتحويل الثقة تدريجياً نحو الناقد. إنه يمزج بين الطريقتين معاً، وينتقل بسلاسة من واحدة إلى الأخرى دون الحاجة إلى مهندسين بشريين لتعديل الإعدادات. يضمن ذلك أن يمتلك الذكاء الاصطناعي دائماً أفضل توجيه ممكن، سواء كان الناقد مبتدئاً أو خبيراً.
تظهر الدراسة أن الفكرة القديمة المتمثلة في استخدام برنامج ثانٍ لتوجيه التعلم ليست صالحة فحسب، بل هي متفوقة، بشرط تزويدها بالأدوات المناسبة. ومن خلال السماح للناقد برؤية أشياء لا يمكن للذكاء الاصطناعي الأساسي رؤيتها، أزال الباحثون عنصر التخمين من عملية التعلم. كما أظهروا أنه يمكن جعل هذا النهج قوياً وتلقائياً، بحيث يتكيف مع مستوى مهارة الناقد نفسه أثناء تحسنه. ورغم أن هذا العمل تطلب قوة حوسبة كبيرة وهندسة دقيقة، إلا أن النتائج تشير إلى مسار واضح للمستقبل. فبدلاً من التخلي عن الناقد، قد يكمن مستقبل تعليم الذكاء الاصطناعي الاستدلال في منحه رؤية أفضل للحل، مما يسمح له بالتعلم من أخطائه بوضوح كان بعيد المنال في السابق.
ملخص تقني: دالات القيمة المتميزة لتعلم التعزيز للنماذج اللغوية الكبيرة (LLM)
بيان المشكلة
يهيمن حاليًا على التعلم التعزيزي (RL) للنماذج اللغوية الكبيرة (LLMs) أساليب خالية من الناقد (critic-free) وتعتمد على المجموعات النسبية مثل GRPO (تحسين السياسة النسبية للمجموعة). وبينما تقلل هذه الأساليب من تباين التدرج عبر أخذ عينات من استجابات متعددة لكل مطالبة (prompt) والمقارنة بينها، إلا أنها تعاني من قصورين أساسيين:
تخصيص الائتمان على مستوى التسلسل (Sequence-Level Credit Assignment): فهي توفر ميزات (advantages) على مستوى التسلسل فقط، وتفشل في تقديم دقة على مستوى الرمز (token-level)، وهو أمر متفوق نظريًا في تخصيص الائتمان الزمني.
آثار المتخلفين عن الركب (Straggler Effects) وعدم مطابقة السياسة (Off-Policyness): يعيق التدريب بسبب أبطأ عملية توليد (rollout) في المجموعة، مما يقلل من معدل الإنتاجية. وفي الإعدادات غير المتزامنة، يؤدي ذلك إلى زيادة عدم مطابقة السياسة (off-policyness) بينما تنزاح السياسة أثناء انتظار الاستجابات البطيئة.
من الناحية النظرية، تعالج دالات القيمة المتعلمة (Learned value functions) كلتا المشكلتين من خلال توفير ميزات على مستوى الرمز والعمل دون الحاجة إلى مجموعات كبيرة. ومع ذلك، فإن اعتمادها قد تعرقل بسبب:
التعقيد البنيوي: يتطلب الحفاظ على نموذج قيمة منفصل جهدًا هندسيًا إضافيًا.
الحساسية للضبط (Fitting Sensitivity): إذا لم يتم ضبط الناقد (critic) بشكل جيد، فقد تؤدي خطوط الأساس للقيمة (value baselines) إلى إدخال ضوضاء أو انحياز، وغالبًا ما يكون أداؤها أسوأ من مجرد متوسطات المجموعة البسيطة.
نقص التبرير: جعل النجاح العملي للأساليب الخالية من الناقد من الصعب تبرير التكلفة الإضافية لدالات القيمة.
المنهجية
تقترح الورقة استراتيجيتين متكاملتين لتحسين التعلم التعزيزي القائم على دالة القيمة، بهدف تبرير تضمينهما من خلال تعزيز الأداء والمتانة.
1. دالات القيمة المتميزة (Privileged Value Functions - PVF)
تتمثل الفكرة الجوهرية في أن دالات القيمة يمكنها الشرطية (condition) على معلومات متميزة (privileged information) — وهي بيانات متاحة أثناء التدريب ولكنها مخفية عن السياسة أثناء الاستدلال — دون انتهاك عدم الانحياز في تدرج السياسة.
الآلية: تقوم دالة القيمة المتميزة Vϕ(hi,t,zi,t) بوضع شرط على تاريخ السياسة القياسي hi,t وسياق إضافي zi,t.
المقبولية (Admissibility): لضمان بقاء تدرج السياسة غير منحاز، يجب أن تكون المعلومات المتميزة zi,t مستقلة شرطيًا عن الرمز الحالي yi,t بمعلومية التاريخ hi,t. لا يمكن أن تحتوي على رموز مستقبلية أو مكافآت ناتجة عن المسار الحالي.
أشكال المعلومات المتميزة:
الحلول المرجعية: الإجابات النموذجية (Oracle answers)، أو مخططات البراهين، أو التصحيحات الذهبية (مثل السودوكو أو إصلاح الكود).
معلومات المجموعة بنظام "الاستبعاد الواحد" (Leave-One-Out - LOO): الاستجابات الأخرى والمكافآت من نفس مجموعة المطالبة. هذا يعامل المجموعة كأنها مطالبة تعلم داخل السياق (in-context learning) للناقد.
معايير التحقق (Verifier Rubrics): مواصفات المهام التفصيلية غير المتاحة للسياسة.
الفائدة النظرية: الشرطية على معلومات أغنى تقلل من تباين توقع القيمة (E[(R−E[R∣H,Z])2]≤E[(R−E[R∣H])2])، مما يقلل من تباين تدرج السياسة.
2. TETHER (خط الأساس التكيفي للمجموعة والقيمة)
لمعالجة خطر وجود نقاد سيئي الضبط، قدم المؤلفون TETHER، وهو خط أساس (baseline) يقوم بالاستيفاء التكيفي بين خطوط الأساس النسبية للمجموعة وخطوط الأساس القائمة على القيمة.
الآلية: يحسب TETHER خط أساس مختلط bi,tTETHER=(1−ρ)biLOO+ρVi,t، حيث biLOO هو متوسط المجموعة بنظام الاستبعاد الواحد و Vi,t هي قيمة الرمز المتعلمة.
المعامل التكيفي (ρ): نسبة الخلط ρ ليست معلمة فائقة (hyperparameter) ثابتة. يتم ضبطها عبر المربعات الصغرى لتقليل خطأ التنبؤ بعوائد مونت كارلو (Ri) للمجموعات المكتملة.
ρ=0: يستعيد خط أساس المجموعة (موثوق، بدون ائتمان على مستوى الرمز).
ρ=1: يستعيد خط الأساس القائم على القيمة الصرفة (ائتمان على مستوى الرمز، حساس لضبط الناقد).
القيم المتوسطة: توازن بسلاسة بين الاثنين.
ديناميكيات التدريب: يتم تحديث المعامل ρ باستخدام المتوسط المتحرك الأسي (EMA) على الدفعات (batches) بعد حساب تحديث السياسة لتلك الدفعة، مما يضمن أن خط الأساس لدفعة ما لا يعتمد على عوائدها الخاصة (للحفاظ على عدم الانحياز).
المساهمات الرئيسية
دالات القيمة المتميزة (PVF): آلية رسمية لحقن إشارات ذات صلة بالمهمة وعلى مستوى الرمز في دالة القيمة باستخدام معلومات مخفية عن السياسة. هذا يحسن تقدير القيمة ويقلل تباين التدرج دون تغيير هدف السياسة.
TETHER: خط أساس تكيفي يوازن ديناميكيًا بين موثوقية متوسطات المجموعات ودقة دالات القيمة بناءً على دقة الناقد الحالية، مما يلغي الحاجة إلى الضبط اليدوي للمعلمات الفائقة لإدارة الانتقال.
التحقق التجريبي: إثبات أن كلا الاستراتيجيتين تتفوق باستمرار على خطوط الأساس القياسية للقيمة وتنافس أو تتفوق على منهجية MEAN-baseline الخاصة بـ GRPO عبر مهام متعددة تعتمد على الاستدلال.
النتائج التجريبية
قيم المؤلفون أساليبهم على أربع مهام: Reasoning Gym (الاستدلال الإجرائي)، CodeIO (استدلال البرامج)، Sudoku (ملء الشبكة متعدد الخطوات)، و MiniF2F (الرياضيات الرسمية).
أداء PVF:
تفوقت PVF باستمرار على كل من دالة القيمة (VF) القياسية وخطوط الأساس (MEAN) للمجموعات في جميع الإعدادات.
Sudoku: أظهرت أكبر المكاسب. الوصول إلى الشبكة المحلولة (المعلومات المتميزة) سهل مهمة الناقد في التحقق من الحركات الوسيطة، والتي تتطلب خلاف ذلك حل اللغز ضمنيًا.
CodeIO: استخدمت PVF استجابات ومكافآت مجموعة LOO كمعلومات متميزة، متفوقة على كل من VF و MEAN، مما يثبت إمكانية الاستفادة من معلومات المجموعة بفعالية حتى بدون إجابات نموذجية.
التباين المفسر (Explained Variance): فسرت PVF باستمرار تباين العائد أكثر من VF، مما ارتبط بمكافآت نهائية أعلى.
أداء TETHER:
تفوق TETHER باستمرار على خط الأساس القياسي لـ VF عبر جميع المهام.
نجح في تخفيف التدهور الذي لوحظ في VF عندما كان الناقد سيئ الضبط في بداية التدريب.
في Reasoning Gym و MiniF2F، تفوق TETHER على خط الأساس MEAN. وفي Sudoku، قلص الفجوة مع MEAN، وفي CodeIO، طابق MEAN.
ديناميكيات المعامل: بدأ ρ بالقرب من 0 (الاعتماد على متوسطات المجموعات) وزاد مع تحسن الناقد، مما يؤكد قدرة الطريقة على التنظيم الذاتي بناءً على دقة الناقد.
الأهمية والادعاءات
تجادل الورقة بأن دالات القيمة يجب إعادة النظر فيها كعنصر عملي في مسارات التعلم التعزيزي للنماذج اللغوية الكبيرة. يدعي المؤلفون ما يلي:
تبرير التكلفة: من خلال الاستفادة من المعلومات المتميزة (PVF) والخلط التكيفي (TETHER)، يمكن لمكاسب الأداء لدالات القيمة أن تفوق تكاليف بنيتها التحتية، حتى في السيناريوهات التي تهيمن عليها حاليًا الأساليب الخالية من الناقد.
المتانة: يوفر TETHER مسارًا موثوقًا لإدخال دالات القيمة في مسارات GRPO الحالية دون خطر عدم استقرار التدريب الناتج عن ناقد سيئ الضبط.
الاتجاهات المستقبلية: يشير العمل إلى أن التدريب المسبق المكثف على دالات القيمة على سياسات متنوعة والضبط المنهجي لمعلمة λ (للموازنة بين الانحياز والتباين) يمكن أن يعزز بشكل أكبر قابلية التوسع وفائدة التعلم التعزيزي القائم على القيمة للنماذج اللغوية الكبيرة.
يؤكد المؤلفون أن نهجهم يحافظ على الضمانات النظرية لتدرجات السياسة غير المنحازة مع تقديم تحسينات عملية في كفاءة التدريب والأداء النهائي.