SimpleOPD: Simple Tokenizer-Agnostic On-Policy Distillation for Long-Context Reasoning
تقدم الورقة البحثية SimpleOPD، وهو إطار عمل للتقطير في السياسة (on-policy distillation) غير مرتبط بنوع الـ tokenizer، يعمل على محاذاة الامتدادات النصية المشتركة ويستخدم فقدان KL مرجعي للطالب لتقطير قدرات الاستدلال البرهاني ذات السياق الطويل بفعالية من المعلمين الأقوياء إلى الطلاب ذوي السياق القصير، مما يحقق مكاسب أداء كبيرة في الاختبارات المرجعية الرياضية والعلمية.
تخيل أنك تحاول تعليم بروفيسور عبقري ومسهب في الكلام كيف يشرح فكرة معقدة لطالب سريع البديهة لا يملك سوى دفتر ملاحظات صغير جداً. هذا هو عالم الذكاء الاصطناعي، وتحديداً مجال "نماذج اللغات الكبيرة" (LLMs). هذه النماذج هي برامج حاسوبية مدربة على فهم وتوليد اللغة البشرية. أحياناً، يكون لدينا نموذج "معلم" ذكي للغاية في حل المشكلات الصعبة، مثل البراهين الرياضية، لكنه يفكر في جمل ضخمة ومتشعبة. ثم لدينا نموذج "طالب" أصغر حجماً، وأسرع، وذاكرته أقصر. الهدف هو نقل ذكاء المعلم إلى الطالب.
لفترة طويلة، حاول العلماء القيام بذلك من خلال جعل المعلم يكتب الإجابات ويقوم الطالب ببساطة بنسخها. لكن هذا يشبه مطالبة طالب بحفظ قاموس دون فهم الكلمات؛ فهذا لا يعلمه دائماً كيف يفكر. لقد غيرت طريقة أحدث وأذكى تسمى "التقطير في السياسة المتبعة" (On-Policy Distillation - OPD) قواعد اللعبة. فبدلاً من مجرد النسخ، يحاول الطالب حل مشكلة ما، بينما يراقب المعلم عملية تفكير الطالب في الوقت الفعلي، ويقدم تصحيحات وتوجيهات عند كل خطوة من خطواته. الأمر يشبه مدرباً يقف بجانب رياضي، يصحح له وضعية جسمه أثناء الجري، بدلاً من مجرد عرض فيديو لركض مثالي له لاحقاً. ومع ذلك، هناك عقبة: إذا كان المعلم والطالب يتحدثان "لغات" مختلفة (أي يستخدمان طرقاً مختلفة لتقسيم الكلمات إلى أجزاء، تسمى "المجزئات" أو الـ tokenizers)، أو إذا كان المعلم معتاداً على كتابة الروايات بينما لا يملك الطالب مساحة سوى لتغريدة، فإن عملية التدريب قد تسوء. قد يصاب الطالب بالارتباك، أو يبدأ في الثرثرة بلا نهاية، أو ينهار لأن التعليمات لا تتناسب مع مساحته.
تعالج هذه الورقة البحثية، التي تحمل عنوان SimpleOPD، هذا الموقف الفوضوي تحديداً. أراد الباحثون أخذ نموذج معلم فائق الذكاء وذو سياق طويل (يُدعى SU-01) يتفوق في البراهن الرياضية، وتعليم نماذج طلابية أصغر، حتى تلك التي تستخدم "لغات" داخلية (مجزئات) مختلفة تماماً، ولديها حدود ذاكرة أقصر بكثير. لقد اكتشفوا أن مجرد ترك المعلم يدرب الطالب غالباً ما يؤدي إلى نتائج عكسية. فقد كان الطالب يصاب بالارتباك، ويبدأ في كتابة استجابات تطول بشكل لا يمكن السيطرة عليه (انفجار في الطول)، وفي النهاية ينفد منه المساحة، مما يؤدي إلى قطع إجاباته قبل اكتمالها.
ولحل هذه المشكلة، ابتكر الفريق نهجاً ذكياً "غير مرتبط بالمجزئ" (tokenizer-agnostic). فبدلاً من إجبار المعلم والطالب على الاتفاق على أي جزء بالضبط من الكلمة ينظرون إليه، اتفقوا على النظر إلى النص الفعلي الموجود على الصفحة. فإذا قال المعلم "math" وقال الطالب "mat" و "h"، فقد أدركوا أن هذه مجرد طرق مختلفة لكتابة نفس الصوت. لقد قاموا بمواءمة التدريس بناءً على النص المشترك، متجاهلين الاختلافات التقنية في كيفية تقطيع الحواسيب للكلمات. لكنهم لم يتوقفوا عند هذا الحد؛ فمن أجل منع الطلاب من الثرثرة، قدموا شبكتي أمان. أولاً، أخبروا المعلم أن يتوقف عن إلحاحه على الطالب بشأن متى يتوقف عن الكلام (تجاهل رموز التوقف المحددة)، حتى لا يرتبك الطالب حول موعد الانتهاء. ثان، أضافوا "فحص واقع" لطيف (KL loss) يذكر الطالب بالبقاء قريباً من ذاته الأصلية والمنطقية، مما يمنعه من الانجراف بعيداً نحو حلقات مفرغة ولا نهائية.
كانت النتائج مبهرة. لم تكتفِ النماذج الطلابية باستخدام هذه الطريقة بالنسخ فحسب، بل تعلمت التفكير والتحليل. على سبيل المثال، شهد أحد النماذج الطلابية، وهو Intern-S2-Preview، قفزة في درجته في اختبار برهان رياضي صعب (ProofBench) بمقدار 22.8 نقطة، حيث ارتفع من 21.70 إلى 44.50 في التجارب الأساسية. وفي إعداد تقييمي محدد باستخدام Gemini-2.5-Pro كحكم، أظهر النموذج مكسباً أكبر، حيث ارتفع من 34.0 إلى 55.2. كان هذا التحسن كبيراً لدرجة أنه تجاوز أداء نماذج أخرى قوية جداً ومغلقة المصدر مثل Gemini-2.5-Pro. تشير الورقة البحثية إلى أن هذه التقنية تعمل جيداً ليس فقط في الرياضيات، بل تساعد أيضاً الطلاب على تعميم مهاراتهم الجديدة إلى المسائل العلمية التي لم يروها من قبل. باختصار، أثبت SimpleOPD أنه يمكنك تعليم عقل صغير قصير الذاكرة كيف يفكر مثل عبقري ضخم ومسهب في الكلام، حتى لو كانوا يتحدثون لغات تقنية مختلفة، طالما أنك تمنحهم مساحة نصية مشتركة وبعض القواعد لإبقائهم من الاستمرار في الكلام للأبد.
ملخص تقني: SimpleOPD
بيان المشكلة
برزت عملية التقطير على السياسة (On-policy distillation - OPD) كنموذج قوي لنقل قدرات الاستنتاج من النماذج القوية (المعلم) إلى النماذج الأصغر (الطالب) من خلال توفير إشراف كثيف على مستوى الرموز (tokens) بناءً على مسارات يتم إنشاؤها بواسطة الطالب. ومع ذلك، فإن تطبيق OPD لنقل قدرات الاستنتاج ذات السياق الطويل (من نماذج قادرة على الاستنتاج بسياق يتجاوز 100 ألف رمز) إلى نماذج طلابية ذات سياق قصير عبر عائلات نماذج مختلفة يطرح تحديات عملية كبيرة:
عدم تطابق أجهزة الترميز (Tokenizer Mismatch): غالبًا ما تستخدم النماذج المعلمة والطلاب أجهزة ترميز ومفردات غير متوافقة، مما يجعل المحاذاة المباشرة لتوزيعات الاحتمالات على مستوى الرمز غير ممكنة.
عدم تطابق التوزيع وانفجار الطول (Distribution Mismatch & Length Explosion): غالبًا ما تولد النماذج المعلمة ذات السياق الطويل استجابات تتجاوز ميزانية السياق للنماذج الطلابية قصيرة السياق. يؤدي تدريب OPD المباشر إلى نمو سريع في طول الاستجابة، وتكرار عمليات الاقتطاع (truncation)، ومسارات استنتاج غير مكتملة، مما يؤدي في النهاية إلى عدم استقرار التدريب.
كبت رموز الإنهاء (Termination Token Suppression): غالبًا ما تثبط إشرافات المعلم الطلاب عن استخدام رموز الإنهاء (مثل </think> أو <|im_end|>) لأن أنماط الاستنتاج طويلة السياق لدى المعلم تفضل التوليد الممتد، مما يتسبب في فشل الطالب في الإنهاء بشكل صحيح.
المنهجية: SimpleOPD
يقترح المؤلفون SimpleOPD، وهو إطار عمل للتقطير على السياسة (on-policy distillation) مستقل عن جهاز الترميز، مصمم لنقل قدرات الاستنتاج من النموذج طويل السياق SU-01 إلى نماذج طلابية متنوعة قصيرة السياق. تتكون الطريقة من ثلاثة مكونات أساسية:
1. محاذاة عبر أجهزة الترميز في فضاء نصي مشترك
بدلاً من فرض رسم خرائط بين مفردات أجهزة الترميز غير المتوافقة، يقوم SimpleOPD بالتقطير في فضاء نصي مشترك.
العملية: يقوم الطالب بتوليد تسلسل استجابة y1:n باستخدام جهاز الترميز الخاص به، والذي يتم فك تشفيره إلى سلسلة نصية سطحية s. بعد ذلك، يقوم المعلم بتقييم هذه السلسلة النصية نفسها تمامًاs باستخدام جهاز الترميز الخاص به وقالب الدردشة الخاص به.
المحاذاة: يتم محاذاة الرموز فقط إذا كانت تشغل نطاقات نصية متطابقة في سلسلة الاستجابة المشتركة. يعرّف المؤلفون مجموعة من الأزواج المحاذية M حيث يتطابق البادئة النصية التراكمية والنطاق النصي الزائد لرمز المعلم zi مع رمز الطالب yt.
بناء الخسارة: بالنسبة للمواضع المحاذية، يتم الإشراف على الطالب بواسطة لوغاريتم احتمالية المعلم. أما بالنسبة للمواضع غير المحاذية (حيث لا تتطابق حدود الرموز)، فيُستخدم لوغاريتم احتمال الطالب نفسه كبديل. وهذا يخلق بديلًا محاذيًا للرموز لتباعد KL (reverse KL divergence).
2. قناع ميزة رمز الإنهاء (Termination Token Advantage Masking)
لمنع الطالب من تعلم كبت رموز الإنهاء (وهو نمط فشل شائع في OPD المباشر)، يقوم المؤلفون بقناع المزايا (advantages) لرموز هيكلية محددة.
الآلية: يتم وضع قناع على خسارة OPD (ضبطها على الصفر) لرموز مثل </think> و <|im_end|>.
التعليل: تتحكم هذه الرموز في تنسيق المخرجات وسلوك الإنهاء وليس في محتوى الاستنتاج. ومن خلال عدم إجبار الطالب على مطابقة توزيع المعلم في هذه الرموز المحددة، يحتفظ الطالب بقدرته على إنهاء التوليد بشكل صحيح، مما يمنع الحلقات اللانهائية أو النمو المفرط في الطول.
للتخفيف من عدم تطابق التوزيع ومنع سياسة الطالب من الانحراف بعيدًا عن قدراته الأولية (مما يؤدي إلى عدم الاستقرار والاقتطاع)، تم إدخال خسارة تباعد KL مرجعية للطالب.
الآلية: يتم إضافة عقوبة KL بين سياسة الطالب الحالية وسياسة الطالب الأولية (المرجع).
الأثر: هذا يقيد الطالب من الانحراف المفرط، مما يستقر ديناميكيات التدريب ويضمن نموًا ثابتًا في طول الاستجابة ضمن ميزانية السياق الخاصة بالطالب. يتم ضبط معامل هذه الخسارة بناءً على حجم الفجوة بين المعلم والطالب (مثلاً 0.5 لنفس العائلة، و1.0 للعائلات المختلفة).
المساهمات الرئيسية
المحاذاة المستقلة عن جهاز الترميز: أثبتت الدراسة أنه يمكن تحقيق OPD فعال عبر عائلات نماذج مختلفة من خلال محاذاة الرموز بناءً على النطاقات النصية المشتركة بدلاً من طلب مفردات متطابقة.
تقنيات الاستقرار: حددت الدراسة أن OPD المباشر يسبب انفجارًا في الطول واقتطاعًا. واقترحت وصادقت على تقنيتين بسيطتين وفعالتين للاستقرار: قناع رمز الإنهاء و تنظيم KL المرجعي للطالب.
النقل عبر العائلات: نجحت في نقل قدرات الاستنتاج الرياضي من معلم (SU-01) بطول سياق 30 مليار بارامتر إلى طلاب متنوعين قصيري السياق (Qwen, Intern-S2, GLM, Gemma) دون الحاجة إلى ضبط دقيق تحت الإشراف (SFT) على مسارات المعلم.
النتائج التجريبية
قيم المؤلفون SimpleOPD على اختبارات الاستنتاج الرياضي، بما في ذلك ProofBench (البراهين باللغة الطبيعية)، و AnswerBench، و AIME25، و AMOBench.
المكاسب في نفس العائلة وعبر العائلات: حقق SimpleOPD تحسنًا مستمرًا في الأداء عبر جميع النماذج الطلابية المختبرة.
Intern-S2-Preview: حقق تحسنًا هائلاً قدره 21.2 نقطة في ProofBench (من 34.0 إلى 55.2 عند التقييم باستخدام Gemini-2.5-Pro كحكم، ومن 21.7 إلى 44.5 في التقييم الأساسي)، متفوقًا على نماذج رائدة قوية مثل Gemini-2.5-Pro و GPT-5.
Qwen3-30B-A3B: حسن درجة ProofBench بمقدار 22.67 نقطة (13.80 → 36.47).
GLM-4.7 & Gemma-4: أظهرت مكاسب متسقة في ProofBench، مما يثبت قابلية تطبيق الطريقة على نماذج ذات أجهزة ترميز مختلفة تمامًا (مثل SentencePiece مقابل BPE).
الاستقرار: أدى الجمع بين قناع الرموز وخسارة KL إلى تقليل معدل الاقتطاع إلى ما يقرب من الصفر ومنع "انفجار الطول" الذي لوحظ في تدريب OPD الأساسي.
التعميم خارج النطاق: على الرغم من التدريب حصريًا على بيانات البراهين الرياضية، أظهرت النماذج المستخلصة تحسنًا في اختبارات الاستنتاج العلمي (HLE, HiPhO)، مما يشير إلى أن قدرات الاستنتاج المنقولة تتعمم خارج نطاق التدريب.
طول التقطير: حققت تسلسلات التقطير الأطول (32 ألف مقابل 6 آلاف) أداءً أفضل في مهام البراهين المعقدة، مما يشير إلى أن الحفاظ على مسارات الاستنتاج الطويلة أمر بالغ الأهمية لنقل سلوكيات الاستنتاج متعددة الخطوات.
الأهمية والادعاءات
يزعم البحث أن SimpleOPD يوفر حلاً قويًا وقابلًا للتعميم لنقل قدرات الاستنتاج ذات السياق الطويل إلى النماذج قصيرة السياق، حتى عبر بنيات وأجهزة ترميز مختلفة.
الكفاءة: يوفر بديلًا منخفض التكلفة لتدريب النماذج طويلة السياق من الصفر أو استخدام خطوط أنابيب RL معقدة، وذلك عبر الاستفادة من المعلمين الأقوياء لتعزيز النماذج الأصغر والأسرع.
الاستقرار: تعتبر تقنيات الاستقرار المقترحة (القناع وتنظيم KL) ضرورية لجعل OPD قابلة للتطبيق في البيئات غير المتجانسة، مما يحل المشكلات الحرجة المتمثلة في عدم استقرار التدريب والاقتطاع التي أعاقت مثل عمليات النقل سابقًا.
التعميم: تشير النتائج إلى أن قدرات الاستنتاج المستخلصة بهذه الطريقة لا تقتصر على مجال التدريب المحدد (البراهين الرياضية) ولكن يمكنها تعزيز الأداء في مهام الاستنتاج العلمي الأوسع.
يخلص المؤلفون إلى أن نهجهم يجسّر الفجوة بفعالية بين المعلمين ذوي السياق الطويل والطلاب ذوي السياق القصير، مما يسمح بدمقرطة قدرات الاستنتاج المتقدمة عبر منظومة النماذج.