تقدم الورقة البحثية إطار العمل MACRO، الذي يعزز النماذج اللغوية الكبيرة من خلال تعلم سياسات توجيه طبقات ديناميكية ومخصصة للمهام عبر سلاسل ماركوف دون تعديل أوزان النموذج، محققاً تحسينات كبيرة في الدقة وأوقات بحث أسرع مقارنة بالطرق الحالية.
تخيل أن لديك روبوتًا فائق الذكاء يقرأ الكتب ويجيب على الأسئلة. لكي يقوم بعمله، يمتلك الروبوت خط تجميع طويلًا يتكون من 28 أو 32 عاملًا صغيرًا (تسمى "طبقات"). في الإعداد القياسي، يجب على كل قطعة من المعلومات أن تمر بكل عامل من هؤلاء العمال، من الأول تمامًا إلى الأخير، في خط صارم وغير قابل للتغيير. الأمر يشبه حافلة مدرسية يجب أن تتوقف عند كل منزل في الشارع، حتى لو كان الراكب يحتاج فقط للنزول بعد ثلاث كتل سكنية. هكذا تعمل معظم نماذج الذكاء الاصطناوي اليوم: فهي تتبع جدولًا زمنيًا صارمًا، بغض النظر عن مدى سهولة أو صعوبة السؤال.
ولكن ماذا لو كان بإمكان الروبوت أن يكون أكثر مرونة؟ ماذا لو استطاع أن يقرر تخطي عامل لا داعي له، أو حتى العودة وسؤال عامل سابق ليدقق حساباته؟ هذه الفكرة تسمى "التوجيه الديناميكي" (dynamic routing). فكر في الأمر كجهاز تحديد المواقع (GPS) الذي لا يكتفي باتباع خريطة مطبوعة مسبقًا، بل يمكنه فورًا تغيير مساره لتجنب الازدحام المروري أو اتخاذ طريق مختصر. لقد حاول العلماء تعليم الذكاء الاصطناعي القيام بذلك، لكن معظم المحاولات كانت تشبه محاولة تعليم سائق حافلة القيادة عبر إعادة توصيل أسلاك المحرك في كل مرة يصادف فيها طريقًا جديدًا، أو عبر توظيف دليل منفصل ومكلف ليصرخ بالاتجاهات لكل راكب على حدة. هذا الأمر بطيء، ومكلف، وغالبًا ما يؤدي إلى تعطل عقل الروبوت.
هنا يأتي دور دراسة جديدة تسمى MACRO. فقد طرح الباحثون سؤالًا بسيطًا: هل يمكننا تعليم روبوت "مجمد" (أي روبوت لا يُسمح لنا بتغيير دماغه) كيف يجد مسارًا أفضل عبر عماله دون أن يكسر أي شيء؟ اكتشفوا أنه من خلال التعامل مع مسار الروبوت كلعبة "اختر مغامرتك الخاصة" بناءً على مجموعة من قواعد الاحتمالات البسيطة (تسمى "سلسلة ماركوف")، تمكنوا من إيجاد مسار أذكى بكثير. فبدلاً من إعادة تدريب الروبوت أو استخدام أدلة مكلفة، جعلوا الروبوت يستكشف مسارات مختلفة عبر بعض الأسئلة التدريبية، وتعلموا مجموعة واحدة من القواعد الخاصة بمهمة معينة للملاحة بين عماله، ثم استخدموا خدعة رياضية ذكية لتحديد المسار الأمثل لتلك المهمة المحددة. يتم بعد ذلك استخدام هذا المسار الأفضل بشكل موحد لجميع الأسئلة في تلك المهمة، بدلاً من حساب مسار جديد لكل سؤال جديد.
النتائج فعالة بشكل مثير للإعجاب. ففي مجموعة متنوعة من الاختبارات الرياضية والعلمية الصعبة، ساعدت تقنية MACRO الروبوت على أن يصبح أذكى بشكل ملحوظ. على سبيل المثال، في اختبار رياضي صعب يسمى GSM8K، قفز نموذج روبوت صغير من الإجابة على 43.4% من الأسئلة بشكل صحيح إلى 69.5% — وهي قفزة هائلة — فقط عبر تغيير الترتيب الذي زار به عماله. ووجد الباحثون أن هذه الطريقة كانت أسرع في الإعداد من الطرق السابقة؛ فبينما استغرقت الأساليب الأخرى ما يقرب من 15 ساعة لتحديد المسار الأفضل لمهمة ما، أنجزت MACRO ذلك في 1.6 ساعة فقط.
الرؤية الجوهرية هي أن الروبوت كان يعرف الإجابات بالفعل؛ كان يحتاج فقط إلى طريقة أفضل "للاستماع" إلى أفكاره الداخلية. فمن خلال السماح للروبوت بتخطي الخطوات غير الضرورية أو العودة لمراجعة عمله، أطلق الباحثون العنان لإمكاناته الكامنة دون تغيير وزن واحد في دماغ الروبوت. الأمر كما لو أنهم لم يعلموا الروبوت حقائق جديدة، بل علموه ببساطة كيف يفكر بكفاءة أكبر. تشير الدراسة إلى أنه بالنسبة للعديد من المهام المعقدة، كانت الإجابة موجودة بالفعل داخل النموذج؛ كنا نحتاج فقط إلى خريطة أفضل للعثور عليها.
ملخص تقني: MACRO – توجيه طبقات المحولات عبر سلاسل ماركوف
بيان المشكلة تنفذ نماذج اللغات الكبيرة (LLMs) القياسية كتل المحولات (transformer blocks) بشكل تسلسلي من الطبقة الأولى إلى الأخيرة، متبعةً جدولاً حسابياً جامداً. يتجاهل هذا النهج الاستاتيكي إمكانية وجود مسارات حسابية ديناميكية يمكن أن تحسن دقة الاستنتاج في المهام المعقدة دون تعديل الأوزان الأساسية للنموذج. وبينما استكشفت أعمال سابقة "العمق التكيفي" (adaptive depth) بشكل أساسي لتسريع الاستنتاج (مثل الخروج المبكر أو إسقاط الطبقات المنظم)، فإن إعادة هيكلة مسار التنفيذ لنموذج مجمد لتعزيز الأداء تظل جبهة صعبة. تواجه طرق التوجيه الديناميكي الحالية اختناقات كبيرة: فبعضها يتطلب بحثاً مكثفاً غير متصل (offline) باستخدام بحث شجرة مونت كارلو (MCTS) لتوليد البيانات والتدريب (مثل Dr.LLM)، وبعضها يتطلب تسميات (labels) صحيحة أثناء الاستنتاج، وبعضها يعتمد على حلقات بحث لكل عينة، وهو أمر مكلف حسابياً.
المنهجية يقترح المؤلفون إطار عمل MACRO (توجيه طبقات المحولات عبر سلاسل ماركوف)، وهو إطار يتعلم مسارات تنفيذ خاصة بالمهام فوق بنيات نماذج اللغات الكبيرة المجمدة. يقوم MACRO بنمذجة توجيه الطبقات كسياسة ماركوف تعتمد على السياق، πθ(at∣st)، والتي تحدد تسلسل تطبيق الطبقات، والتخطي، والتكرار، وإضافة الحالات الخفية (hidden-state additions).
فضاء الحالة والعمل (State and Action Space): الحالة st هي ملخص موجز يتكون من مؤشر الطبقة الحالي (ℓ)، ومرحلة ميزانية الحساب المتبقية (مبكرة/متوسطة/متأخرة)، والإزاحة الواردة للطبقة (δ)، وسياق العامل (ما إذا كانت الحالة الخفية الحالية قد نتجت عن طبقة عادية أو عملية إضافة). تشمل مساحة العمل ما يلي:
حركة الطبقة المحلية: تطبيق طبقة قريبة ℓ+Δ (مما يسمح بالتخطي، أو التكرار، أو الزيارات الراجعة للخلف).
الإضافة والتطبيق (Add-and-Apply): إضافة حالة خفية سابقة ht−b إلى الحالة الحالية ht (مع معامل γ>0) قبل تطبيق طبقة محلية.
إعادة الانضمام (Rejoin): إنهاء البادئة (prefix) المتعلمة وتنفيذ التذييل (suffix) القياسي المتبقي للمحول. تضمن أقنعة الجدوى (feasibility masks) بقاء جميع البرامج التي يتم أخذ عينات منها ضمن حدود الطبقات وقيود الميزانية.
إجراء التعلم: يستخدم MACRO نهج "تقدير التوزيع". بدءاً من "توزيع سابق" (prior) منحاز للأمام (حيث يكون المسار التسلسلي القياسي هو الأكثر احتمالاً)، يقوم إطار العمل بشكل تكراري بأخذ عينات من برامج التوجيه المرشحة، وتقييمها على مجموعة فرعية من بيانات التدريب، وتحديث مصفوفة انتقال ماركوف باستخدام الاحتمال الأقصى الموزون. يتم وزن المسارات عالية الأداء أسياً لتنقية السياسة. ويضمن "مخزن إعادة التشغيل" (replay buffer) استقرار التقارب من خلال الحفاظ على تغطية الأمثلة من الدورات السابقة.
فك التشفير والاختيار: على عكس الطرق التي تعتمد على أخذ العينات العشوائية أو البحث لكل اختبار، يستخدم MACRO خوارزمية Viterbi لـ top-k لفك تشفير أكثر برامج التوجيه الصالحة احتمالية بشكل حتمي من السياسة المتعلمة. يتم دمج أقنعة الجدبية الهيكلية في تكرار Viterbi. يتم اختيار المسار النهائي عن طريق تقييم أفضل k مرشح على مجموعة تحقق محجوزة، واختيار المسار ذو الدقة الأعلى.
المساهمات الرئيسية
إطار عمل فعال في المعلمات: يقدم MACRO سياسة ماركوف خفيفة الوزن وتعتمد على السياق لتوجيه الطبقات التكيفي في نماذج اللغات الكبيرة المجمدة والمكممة، ولا يتطلب أي تحديث لأوزان النموذج.
مخطط فك تشفير دقيق: يقدم البحث مخطط فك تشفير Viterbi دقيق لـ top-k مزود بأقنعة جدوى هيكلية. هذا يلغي الحاجة إلى البحث لكل عينة عند وقت الاختبار، أو تدريب شبكة عصبية إضافية، أو أدوات استدلال (oracles) تعتمد على الحقيقة الأرضية.
التفوق التجريبي: يظهر إطار العمل تحسينات متسقة مقارنة بالنماذج المرجعية غير الموجهة وطرق التوجيه الديناميكي الحالية عبر مختلف معايير الاستدلال والمعرفة.
النتائج تم التقييم عبر نماذج متعددة مفتوحة الأوزان (بما في ذلك متغيرات Qwen3، وMixtral، وDeepSeek-R1-Distill) على معايير مثل GSM8K، وMATH500، وMedQA، وMMLU-Pro:
مكاسب الدقة: يحقق MACRO متوسط تحسن في الدقة قدره +5.0% مقارنة بالنماذج المرجعية غير الموجهة. وتكون المكاسب أكثر وضوحاً في النماذج الأصغر (مثلاً +12.68% في Qwen3-1.7B).
المقارنة مع SOTA: يتفوق MACRO على طريقة التوجيه الديناميكي الرائدة، Dr.LLM، بنسبة +7.2% في متوسط الدقة.
الكفاءة: عملية البحث عن المسار أكثر كفاءة بشكل ملحوظ، حيث تقلل وقت البحث بمقدار 9.4× (من 14.8 ساعة إلى 1.6 ساعة لكل معيار) مقارنة بـ Dr.LLM.
المتانة: تؤكد اختبارات الأهمية الإحصائية أن MACRO يحسن الأداء عبر جميع النماذج المختبرة دون إضعاف أي معيار.
الرؤية الآلية: يشير تحليل "عدسة اللوجيت" (logit-lens) إلى أن التوجيه يحسن الأداء ليس عن طريق تغيير قدرات الاستدلال الداخلية للنموذج، بل من خلال عرض الإجابات الموجودة داخلياً بشكل أفضل، ومنع كبتها بالقرب من المخرجات.
الأهمية والادعاءات يزعم البحث أن MACRO يمثل خطوة مهمة للأمام لجعل الحساب الديناميكي عملياً لنماذج اللغات الكبيرة المجمدة. من خلال صياغة التوجيه كعملية ماركوف، تمكن المؤلفون من التغلب على التكاليف الحسابية والمتطلبات البيانية للطرق السابقة (مثل التدريب المدفوع بـ MCTS). يجادل العمل بأن التوجيه يعمل كآلية "لاستخراج" الإجابات الموجودة داخلياً بشكل أكثر فعالية بدلاً من تغيير التمثيلات المتعلمة للنموذ بشكل جوهري. ويرى المؤلفون أنه ينبغي توسيع هذا النهج بشكل أكبر لتمكين التوجيه الديناميكي المعتمد على المدخلات، مما يوفر بعداً جديداً لزيادة نطاق الاختبار المرن لنماذج اللغات الكبيرة. ويتميز المنهج بقدرته على تحسين الأداء في النماذج الصغيرة وتوافقه مع النماذج المكممة، مما يشير إلى قابلية تطبيق واسعة في البيئات محدودة الموارد.