You Can Learn Tokenization End-to-End with Reinforcement Learning
تقترح هذه الورقة تعلم التجزئة (tokenization) من البداية إلى النهاية باستخدام التعلم التعزيزي مع تقديرات دالة الدرجة (score function) وخصم الوقت لتقليل التباين، مما يثبت أن هذا النهج يتفوق على طرق التمرير المباشر (straight-through methods) السابقة عند مقياس 100 مليون معلمة.
لا تفهم الحواسيب الحديثة اللغة البشرية بشكل طبيعي؛ فهي لا تفهم سوى الأرقام. ولجسر هذه الفجوة، يجب على أنظمة الذكاء الاصطناعي التي تعالج النصوص أولاً ترجمة الكلمات والجمل إلى تدفق من الأرقام التي يمكنها استيعابها. ولسنوات طويلة، كانت الطريقة القياسية للقيام بذلك هي خطوة جامدة ومبرمجة مسبقاً تسمى "التقطيع" (tokenization). فكر في هذه العملية مثل أمين مكتبة، قبل أن يتمكن جهاز ما من قراءة كتاب، يجب عليه تقطيع الصفحات إلى أجزاء محددة ومحددة مسبقاً بناءً على كتاب قواعد ثابت. يقرر كتاب القواعد هذا أين تنتهي كلمة ويبدأ الأخرى، وغالباً ما يجمع تركيبات الحروف الشائعة معاً. وبينما يعمل هذا بشكل جيد، إلا أنه خطوة يدوية وثابتة تقع خارج "عقل" الذكاء الاصطناعي، ومنفصلة عن عملية التعلم نفسها. ومع ازدياد حجم هذه العقول الرقمية وقدراتها، بدأ العلماء يتساءلون عما إذا كان هذا النهج الجامد والمقطع مسبقاً يعيق تقدمها، وما إذا كان بإمكان الآلة أن تتعلم تقطيع النص بنفسها بطريقة تجعل أكثر منطقية لمنطقها الداخلي.
لقد اتخذ فريق من الباحثين في المعهد الفيدرالي السويسري للتكنولوجيا في زيورخ (ETH Zurich) خطوة كبيرة نحو الإجابة على ذلك السؤال من خلال تعليم ذكاء اصطناعي كيفية تعلم تقطيع نصوصه الخاصة من الصفر، دون أي قواعد مكتوبة مسبقاً. وفي عملهم الجديد، أثبتوا أن نموذج الكمبيوتر يمكن تدريبه على تحديد مكان وضع الحدود بين قطع النصوص بدقة، ببساطة من خلال محاولة تقليل أخطائه أثناء التعلم. وبدلاً من اتباع دليل ثابت أو استخدام تخمين ذكي يعتمد على المسافات وعلامات الترقيم، يستخدم النموذج نهج التجربة والخطأ، وهو مشابه لكيفية تعلم حيوان التنقل في متاهة. يقوم النموذج بتخمين مكاني (بشكل عشوائي/ستوكاستي) أين يجب أن يكون القطع، ثم يرى مدى جودة تنبؤه بالجزء التالي من النص، وبعد ذلك يعدل استراتيجيته. إذا أدى التخمين إلى تنبؤ أفضل، فإن النموذج يعزز هذا القرار؛ وإذا أدى إلى ارتباك، فإنه يجرب شيئاً آخر. ومع مرور الوقت، يكتشف النموذج طريقته المثلى لتقسيم اللغة، مما يعلمه فعلياً قواعد التقطيع أثناء تعلمه للغة.
وجد الباحثون أنه عندما تركوا النموذج يتعلم بهذه الطريقة، بدأ بشكل طبيعي في وضع قطعه في نفس الأماكن التي يفعل فيها البشر ذلك، مثل المسافات بين الكلمات أو في نهاية الجمل، على الرغم من عدم إخباره بذلك. حدث هذا دون أن يتم إعطاء النموذج أي تعليمات محددة حول القواعد أو بنية اللغة. وفي الاختبارات التي أجريت باستخدام مجموعة بيانات تزيد عن مائة مليون معلمة (parameter)، أثبت هذا النهج ذاتي التعلم أنه أكثر فعالية من الطرق السابقة التي حاولت تعلم الحدود باستخدام تقنية رياضية مختلفة وأقل مباشرة. لم ينتج الأسلوب الجديد نتائج أفضل فحسب، بل طابق أيضاً أداء الأنظمة التي تعتمد على كتب القواعد التقليدية المصنوعة يدوياً، رغم عدم امتلاكه أي معرفة مسبقة بتلك القواعد.
أحد أكثر الجوانب إثارة للإعجاب في هذا الاكتشاف هو أن النموذج تعلم كيف يكون فعالاً. فقد اكتشف كيفية تجميع بايتات البيانات في قطع منطقية لمهمته المحددة، سواء كان ذلك في قراءة نص عام أو فهم لغة برمجة. وعندما اختبر الباحثون النموذج على لغة "بايثون" (Python)، تعلم البدء في قطع جديدة عند بداية أسماء الدوال والحفاظ على بعض العبارات الشائعة معاً، مما أظهر فهماً حدسياً لبنية الكود الذي يقرأه. وهذا يشير إلى أن النموذج لا يقوم بمجرد حفظ الأنماط، بل يطور بنشاط استراتيجية تتماشى مع معنى النص الذي يعالجه.
كما تناولت الدراسة عقبة رئيسية جعلت هذا النوع من التعلم صعباً في السابق: وهي "الضجيج" في إشارة التعلم. ولأن قرار قطع النص هو خيار ثنائي — إما أن تقطع هنا أو لا تفعل — فمن الصعب رياضياً إخبار النموذج بكيفية التحسن بدقة. وقد حل الباحثون هذه المشكلة من خلال استعارة تقنيات من "التعلم المعزز" (reinforcement learning)، وهو مجال يتعلم فيه الوكلاء من خلال المكافآت والعقوبات. لقد قدموا طريقة تعمل على تنعيم الضجيج، مما يسمح للنموذج برؤية القرارات المحددة المسؤولة عن نجاحاته أو إخفاقاته عبر امتداد أطول من النص. سمح هذا للنموذج بالتعلم بفعالية دون الحاجة إلى قدرة حوسبية هائلة.
بينما أجريت التجارب الحالية على نماذج ذات حجم محدد، فإن النتائج تقدم رؤية مقنعة لمستقبل الذكاء الاصطناعي. فمن خلال إزالة الحاجة إلى خطوة منفصلة ومبرمجة مسبقاً لإعداد النصوص، أظهر الباحثون أن معالجة اللغة يمكن أن تصبح عملية تعلم متكاملة وشاملة (end-to-end). فالنموذج لا يتعلم التحدث فحسب، بل يتعلم كيف يستمع وكيف يحلل العالم من حوله بأكثر الطرق كفاءة ممكنة. يمكن أن يؤدي هذا النهج في النهاية إلى أنظمة تتعامل مع لغات وأنواع من البيانات لا يوجد لها كتاب قواعد صممه البشر، مما يجعل الذكاء الاصطناعي أكثر قدرة على التكيف والشمول. ويشير العمل إلى أن التصميم اليدوي الجامد لكيفية تغذية الآلات بالبيانات قد يُستبدل قريباً بمنهج أكثر مرونة واكتشافاً ذاتياً، حيث تتعلم الآلة أفضل طريقة لقراءة العالم وفقاً لشروطها الخاصة.
ملخص تقني: تعلم التجزئة (Tokenization) من البداية إلى النهاية باستخدام التعلم التعزيزي
بيان المشكلة لا تزال عملية التجزئة (Tokenization) خطوة معالجة مسبقة ثابتة (hardcoded) في مسارات تدريب النماذج اللغوية الكبيرة (LLMs)، حيث تعتمد عادةً على استدلالات مثل ترميز زوج البايت (BPE) أو قواعد مصممة يدويًا (مثل تقسيم الأرقام، أو الحفاظ على المسافات البيضاء). وبينما يتجه التوجه العام في بنية الذكاء الاصطناعي نحو التعلم من البداية إلى النهاية (end-to-end)، إلا أن التجزئة قاومت هذا التحول إلى حد كبير. وقد واجهت المحاولات السابقة لدمج التجزێة في بنية النموذج عائقين رئيسيين:
الاعتماد على الاستدلالات (Heuristic Reliance): الطرق التي تعمل مباشرة على البايتات (bytes) غالبًا ما تستخدم قواعد ثابتة (مثل اكتشاف المسافات البيضاء) أو طفرات الإنتروبيا لتحديد حدود الرموز (tokens)، وهي قواعد لا يتم تعلمها من البيانات.
الضعف النظري للمقدرات المباشرة (Straight-Through Estimators - STEs): اعتمدت المحاولات السابقة لتعلم حدود الرموز من البداية إلى النهاية على مقدرات STEs. تقوم هذه الطرق بتخفيف القرارات المنفصلة للحدود وتحويلها إلى متغيرات مستمرة للسماح بالانتشار العكسي (backpropagation). ومع ذلك، تفتقر طرق STEs إلى ضمانات نظرية قوية لأنها لا تحسن مشكلة القرار المنفصل بشكل مباشر؛ بل تعتمد على تقريبات استدلالية للتدرج قد لا تتقارب نحو استراتيجية مثالية.
المنهجية يقترح المؤلفون طريقة لتعلم حدود الرموز من البداية إلى النهاية باستخدام مقدرات دالة الدرجة (score function estimators) المستمدة من التعلم التعزيزي (RL)، وتحديدًا ضمن بنية U-Net ذاتية الانحدار (autoregressive U-Net).
البنية: يعالج النموذج النصوص على مستوى البايت، ويتنبأ احتماليًا بحدود الرموز، ثم يقوم بتقليل العينات (downsampling) إلى تمثيل على مستوى الرمز، ويعالجها، ثم يعيد رفع العينات (upsampling) مرة أخرى إلى مستوى البايت للتنبؤ بالبايت التالي. يتيح ذلك للنموذج إعادة استخدام تمثيلات مستوى البايت عند مستوى الرمز.
تقدير دالة الدرجة: بدلاً من استخدام STEs، يعامل المؤلفون اختيار حدود الرموز كقرار احتمالي منفصل. لقد صاغوا هدف التعلم كتقليل لمتوسط خسارة الإنتروبيا المتقاطعة (cross-entropy loss) للرمز التالي، مع تهميش جميع استراتيجيات التجزئة الممكنة. يتم تقدير التدرج باستخدام خوارزمية REINFORCE (Williams, 1992)، والتي تفكك التدرج إلى حد خسارة شرطي وحد تدرج السياسة (policy gradient).
تقليل التباين: يعاني التطبيق المباشر لخوارزمية REINFORCE من تباين عالٍ، مما يجعل التدريب غير مستقر. لذا قدم المؤلفون ثلاث تقنيات محددة لتقليل التباين وجعل الطريقة عملية:
المكافآت النسبية للخروج المبكر (Early Exit Relative Rewards): يقومون بطرح مكافأة أساسية (يتم تقديرها بواسطة نموذج مستوى بايت للخروج المبكر) من إجمالي المكافأة لإزالة الضجيج غير المرتبط بالتجزئة.
خصم الوقت (Time Discounting): يطبقون عامل خصم (γ=0.99) للمكافآت المستقبلية عند حساب المزايا (advantages). يعمل هذا على فصل تأثير أجزاء التسلسل البعيدة، مما يقلل التباين عبر توفير محفزات تدريب أكثر استقلالية لكل تسلسل.
المزايا النسبية للدفعة (Batch-Relative Advantages): يقومون بمركزة تقديرات المزايا عبر الدفعة (batch) لتصحيح الانحيازات حيث قد يتفوق نموذج الطبقة النهائية باستمرار على نموذج الخروج المبكر.
التحكم في معدل تقليل العينات: لمنع النموذج من اختيار استراتيجية مكلفة حاسوبيًا تتمثل في فصل كل بايت على حدة، يتم فرض معدل تقليل عينات مستهدف عبر حد إضافي يطبق ضغطًا على متوسط اللوغاريتم (mean logit) للدفعة.
المساهمات الرئيسية
التعلم من البداية إلى النهاية بدون انحياز استقرائي: أثبت المؤلفون أن استراتيجيات التجزئة التي تتوافق مع الحدود الدلالية (مثل المسافات البيضاء) يمكن تعلمها بمجرد تحسين خسارة الإنتروبيا المتقاطعة باستخدام مقدر دالة الدرجة، دون الحاجة إلى أولويات لغوية صريحة أو انحيازات استقرائية.
التفوق على مقدرات (Straight-Through Estimators): تزعم الورقة أن نهج دالة الدرجة الخاص بهم يتفوق على طرق STE السابقة (Nawrot et al., 2023; Hwang et al., 2025) من الناحية النوعية (إنتاج حدود أكثر دلالة) ومن الناحية الكمية (خسارة تحقق أقل وعدد بتات لكل بايت - bits-per-byte أقل).
المتانة تجاه معدلات تقليل العينات: تُظهر الطريقة أداءً قويًا عبر مجموعة من معدلات تقليل العينات (نسب التجزئة)، مما يوضح أن الاستراتيجيات المتعلمة تتكيف بفعالية مع أهداف الضغط المختلفة.
النتائج التجريبية أُجريت التجارب على نماذج بـ 147 مليون معلمة مدربة على مجموعة بيانات FineWeb، ونماذج بـ 90 مليون معلمة على مجموعة بيانات CodeParrot.
التحليل النوعي: تتوافق حدود الرموز المتعلمة بشكل موثوق مع المسافات البيضاء (المسافات، الأسطر الجديدة) والكسور الدلالية، رغم عدم وجود تعليمات صريحة للنموذج للقيام بذلك. وفي البرمجة، تتوافق الحدود مع أسماء الوحدات (modules) وترويسات التراخيص (license headers).
الأداء الكمي:
في اختبارات اللغة الطبيعية (PIQA, HellaSwag, LAMBADA, ARC-Easy)، حققت السياسة المتعلمة عدد بتات لكل بايت أقل من الخطوط المرجعية الموحدة، وطرق STE، والخط المرجعي العشوائي.
كان أداء الطريقة المتعلمة مشابهًا لمرجع BPE الموجه (حيث يتم تحديد الحدود بواسطة محلل BPE مدرب مسبقًا)، حيث حقق 1.297 بت لكل بايت على مجموعة اختبار FineWeb مقابل 1.299 لـ BPE.
تفوقت الطريقة على مقاربات STE في منحنيات خسارة التحقق طوال فترة التدريب.
الدراسة الاستقصائية (Ablation): أظهر متغير بـ نافذة حجم مخفضة (w=1) أداءً مشابهًا للنموذج الكامل، مما يشير إلى أن سياق النافذة المنزلقة لدرجات اللوغاريتم (boundary logits) ليس ضروريًا تمامًا بهذا المقياس.
الأهمية والادعاءات تذهب الورقة إلى أن مقدرات دالة الدرجة، المدعومة بتقنيات تقليل التباين في التعلم التعزيزي، توفر بديلًا سليمًا نظريًا وفعالًا عمليًا لمقدرات Straight-Through Estimators لتعلم حدود الرموز المنفصلة. ويجادل المؤلفون بأن هذا النهج يسمح بجعل التجزئة مكونًا متعلمًا بالكامل في بنية النماذج اللغوية الكبيرة، والابتعيد عن التصميمات الحرفية المصنوعة يدويًا.
يظل المؤلفون متواضعين بشأن مقياس تجاربهم (مقياس 100 مليون معلمة)، مشيرين إلى أن التأثيرات اللاحقة على جودة نمذجة اللغة يصعب تقييمها مباشرة بهذا الحجم مقارنة بالنماذج الرائدة. ومع ذلك، فهم يدعون أن الطريقة نجحت في استعادة أداء تقليص العينات الموجه بـ BPE دون أولويات خارجية. كما حددوا مشكلات مفتوحة تتعلق بتوسع نسب التجزية المثلى مع حجم النموذج وتعميم هذه الاستراتيجيات على معدلات تقليل العينات المتغيرة. ويشير العمل إلى أنه مع زيادة توجه النماذج نحو العمل من البداية إلى النهاية، قد تصبح مقدرات دالة الدرجة هي الطريقة المفضلة للتجزئة.