Select or Project? Evaluating Lower-dimensional Vectors for LLM Training Data Explanations
تُثبت هذه الورقة أن الاختيار الجشع لمجموعة فرعية صغيرة ومستنيرة معمارياً من مكونات النموذج هو أكثر فعالية وكفاءة من الناحية الحسابية من استخدام التدرجات الكاملة أو الإسقاطات العشوائية لتوليد تفسيرات قائمة على الحالات لنماذج اللغات الكبيرة.
المؤلفون الأصليون:Lukas Hinterleitner, Loris Schoenegger, Benjamin Roth
تخيل أنك تحاول فهم سبب اتخاذ روبوت ضخم وذكي للغاية قراراً معيناً. أنت تعلم أن الروبوت قد تدرّب على مكتبة هائلة من الكتب، ولكن أي كتاب تحديداً علمه تلك الحقيقة المعينة؟ هذا هو عالم "التفسيرات القائمة على الأمثلة" (instance-based explanations) في الذكاء الاصطعي. يسعى العلماء لتتبع إجابة الروبوت وصولاً إلى المثال التدريبي الدقيق الذي أثر عليه، تماماً مثل محقق يبحث عن بصمة إصبع. وللقيام بذلك، عادة ما ينظرون إلى "تدرجات" (gradients) الروبوت. فكر في التدرج كخريطة ضخمة متعددة الأبعاد توضح بالضبط كيف سيتغير عقل الروبوت إذا رأى جملة معينة. المشكلة هي أن هذه الخرائط بالنسبة للروبوتات الحديثة (التي تُسمى النماذج اللغوية الكبيرة) ضخمة جداً لدرجة أنه يستحيل حملها. خريطة واحدة لنموذج قياسي تشغل أكثر من 4 جيجابايت من الذاكرة، وهو ما يتجاوز حجم ملف فيلم كامل! لهذا السبب، يضطر الباحثون إلى تقليص هذه الخرائط لجعلها قابلة للإدارة. لقد حاولوا استخدام حيلتين رئيسيتتين: إما رمي معظم الخريطة والاحتفاظ بقطع عشوائية قليلة فقط، أو ضغط الخريطة بأكملها وتحويلها إلى ملخص صغير وضبابي. لكن لم يكن أحد يعرف حقاً أي الحيلتين كانت أفضل في مساعدة المحقق للعثور على الكتاب الصحيح.
هذه الورقة البحثية، بعنوان "?Select or Project" (الاختيار أم الإسقاط؟)، تسعى لحل هذا الغموض. قام المؤلف لوكاس هينترليتنر وفريقه من جامعة فيينا ببناء ساحة اختبار جديدة لمعرفة ما إذا كان من الأفضل اختيار أجزاء مهمة معينة من عقل الروبوت بعناية (الاختيار - Selection) أو ضغط العقل بأكمله رياضياً في مساحة أصغر (الإسقاط - Projection). لقد استخدموا لعبة ذكية للاختبار: أخذوا جملة، وأعادوا صياغتها بطريقة مختلفة، ثم طلبوا من "تدرجات" الروبوت العثور على الجملة الأصلية من بين حشد من الشبيهات بها. إذا كانت التدرجات جيدة، فيجب أن تشير مباشرة إلى الجملة الأصلية.
كانت النتائج مفاجئة. وجد الفريق أن طريقة "الضغط" (Random Projection)، التي تحاول الحفاظ على شكل الخريطة بأكملها، لم تكن المحقق الأفضل. بدلاً من ذلك، فازت طريقة أطلقوا عليها اسم "الاختيار الجشع" (Greedy Selection). هذا النهج يشبه أمين مكتبة ذكياً لا يقرأ المكتبة بأكملها، ولكنه يعرف بالضبط أي ثلاثة رفوف تحمل أهم القرائن. من خلال اختيار مجموعة صغيرة ومحددة من الأجزاء الداخلية للروبوت بعناية (تحديداً طبقات معينة تتعامل مع المنطق والروابط بين الكلمات)، استطاعوا إنشاء خريطة صغيرة وحادة للغاية. وفي اختباراتهم، كان هذا الاختيار المستهدف ليس فقط أكثر دقة في العثور على المثال التدريبي الصحيح، بل كان أيضاً أسرع وأرخص في الحساب.
وهنا تكمن المفاجأة: الخريطة الكاملة والضخمة لعقل الروبوت أدت في الواقع أداءً أسوأ من هذا الجزء الصغير والمختار بعناية. في أحد الاختبارات الصعبة حيث كان على الروبوت توليد قصة جديدة بناءً على نص مُعاد صياغته، نجحت الخريطة الكاملة في تقديم الإجابة الصحيحة بنسبة 22% فقط من الوقت تقريباً—وهو ما يكاد لا يتجاوز مستوى التخمين. ومع ذلك، نجحت المجموعة الصغيرة المختارة في الوصول للنتيجة بنسبة 36% تقريباً. يشير المؤلفون إلى أن الخريطة الكاملة هي في الواقع "ضوضائية"، مليئة بالكثير من المعلومات الإضافية التي تغرق القرائن الحقيقية. ومن خلال اختيار القطع الأكثر إفادة فقط، قاموا بقطع الضوضاء وحصلوا على إشارة أكثر وضوحاً.
كما بحثت الورقة في أي أجزاء من عقل الروبوت كانت أفضل المحققين. ووجدوا أن الأمر لم يكن يتعلق بحجم الجزء؛ إذ يمكن لقطعة صغيرة من الدماغ أن تكون أكثر فائدة من قطعة ضخمة. بدلاً من ذلك، كان الأمر يتعلق بما يفعله ذلك الجزء. فالأجزاء المسؤولة عن المنطق الداخلي للروبوت (طبقات MLP) كانت أفضل بكثير في العثور على البيانات التدريبية الصحيحة من الأجزاء المسؤولة عن الانتباه لكلمات محددة (مثل أجزاء "المفتاح" و"القيمة" في آلية الانتباه). ومن المثير للاهتمام أن الأجزاء الموجودة في بداية ونهاية سلسلة المعالجة لدى الروبوت كانت الأكثر فائدة، بينما بدت الأجزاء الوسطى مشوشة وأقل نفعاً.
في النهاية، يخلص المؤلفون إلى أننا، من أجل شرح كيفية عمل هذه النماذج الضخمة من الذكاء الاصطناعي، لا نحتاج إلى الصورة الكاملة. نحن نحتاج فقط إلى القطع الصحيحة القليلة. إن استراتيجية "الاختيار الجشع" الخاصة بهم هي وسيلة عملية وفعالة لجعل هذه التفسيرات ممكنة دون الحاجة إلى حواسيب فائقة تعمل لمئات الساعات. وبينما اختبروا ذلك على نموذج محدد يحتوي على حوالي 1.2 مليار معلمة، فإن نتائجهم تشير إلى أنه بالنسبة لمستقبل شفافية الذكاء الاصطناعي، فإن كونك انتقائياً ودقيقاً أفضل بكثير من محاولة الاحتفاظ بكل شيء.
ملخص تقني: الاختيار أم الإسقاط؟ تقييم المتجهات منخفضة الأبعاد لتفسيرات بيانات تدريب النماذج اللغوية الكبيرة (LLMs)
بيان المشكلة تواجه الطرق القائمة على التدرج (Gradient-based methods) لتقديم تفسيرات قائمة على الأمثلة للنماذج اللغوية الكبيرة عائقًا حوسبيًا كبيرًا بسبب الأبعاد الهائلة لتدرجات النموذج. بالنسبة لنموذج يحتوي على مليار معلمة (parameter)، يتطلب متجه تدرج واحد أكثر من 4 جيجابايت من الذاكرة، مما يجعل تحليل التدرج الكامل أمرًا غير قابل للتطبيق عمليًا. غالبًا ما تكتفي الممارسات الحالية بتقييد تقدير التأثير على مجموعة فرعية من معلمات النموذج (مثل طبقات محددة أو محولات LoRA) لجعل الحوسبة ممكنة. ومع ذلك، غالبًا ما يتم اختيار هذه المجموعات الفرعية بشكل عشوائي (ad hoc) دون تبرير منهجي. علاوة على ذلك، تُستخدم تقنيات تقليل الأبعاد البديلة، مثل الإسقاط العشوائي (random projection)، ولكنها تفتقر إلى التقييم المقارن مقابل استراتيجيات الاختيار المدركة لبنية النموذج. تكمن المشكلة الجوهرية في تحديد ما إذا كان من الأكثر فعالية اختيار مجموعة فرعية متفرقة (sparse) ومدركة بنيويًا من مكونات النموذج، أو إسقاط التدرج عالي الأبعاد بالكامل في فضاء منخفض الأبعاد لالتقاط تأثير بيانات التدريب.
المنهجية يقترح المؤلفون معيارًا (benchmark) جديدًا لا يتطلب إعادة التدريب لتقييم استراتيجيات تقليل الأبعاد لتفسيرات الأمثلة. يضع التقييم المشكلة في إطار مهمة استرجاع: بالنظر إلى مثيل اختبار (تحديدًا نسخة معاد صياغتها من عينة تدريب أو إكمال تم توليده بواسطة النموذج)، يجب على النظام تحديد مثال التدريب الأصلي من بين مجموعة من المشتتات بناءً على تشابه التدرج.
تمثيل التدرج: تستخدم الدراسة تدرجات الخسارة بالنسبة لمعلمات النموذج (∇θL). يتم إنشاء التدرج الكامل عن طريق تسطيح (flattening) تدرجات المكونات (مثل إسقاطات الاستعلام، والمفتاح، والقيمة، وبوابات MLP) في متجه واحد.
إعداد التقييم:
مجموعات البيانات: يستخدم المؤلفون مجموعة LIMA من مجموعة بيانات Tülu 2. قاموا بتوليد مجموعتي استعلام: مجموعة المعاد صياغتها (Dp) باستخدام GPT-4o-mini لإعادة صياغة المطالبات مع الحفاظ على المعنى، ومجموعة المولدة بواسطة النموذج (Dm) حيث يقوم النموذج الدقيق (fine-tuned model) بتوليد إكمالات للمطالبات المعاد صياغتها.
المقياس: يتم قياس دقة الاسترجاع من خلال التحقق مما إذا كان تشابه جيب التمام (cosine similarity) بين تدرج الاستعلام وتدرج عينة التدريب الأصلية أعلى من تشابهه مع المشتتات (التي تم اختيارها عبر BM25).
الاستراتيجيات التي تمت مقارنتها:
التدرج الكامل (Full Gradient): استخدام مجموعة المعلمات بأكملها (الخط المرجعي).
الإسقاط العشوائي (Project): إسقاط التدرج الكامل إلى فضاء منخفض الأبعاد (d≪M) باستخدام مصفوفة عشوائية، مع التنفيذ على مستوى المكونات لتجنب إنشاء مصفوفات ضخمة. هذا يحافظ على البنية الهندسية للتدرج الكامل.
الاختيار المكوناتي الجشع (Select): خوارزمية مدركة للبنية تختار بشكل تكراري مجموعة فرعية من مكونات النموذج (حتى ميزانية معلمات محددة) تزيد من دقة الاسترجاع. تستفيد هذه الطريقة من خطية الضرب النقطي (dot products) لإعادة بناء درجات التشابه من القيم القياسية المحسوبة مسبقًا دون تخزين متجهات عالية الأبعاد.
المساهمات الرئيسية
معيار جديد: تقديم معيار كفء يعتمد على الاسترجاع، مصمم لاختبار مدى قدرة التمثيلات منخفضة الأبعاد المختلفة على دعم تحديد الأمثلة التدريبية المؤثرة.
مقارنة مبدئية: تقييم منهجي يقارن بين الاختيار الجشع المدرك للبنية وبين الإسقاط العشوائي الذي يحافظ على الهندسة، وبين الخط المرجعي للتدرج الكامل.
إثبات الكفاءة والدقة: تقديم أدلة تجريبية تظهر أن اختيار المكونات المستهدف يحقق نسب اقتراح (attributions) أكثر دقة وهو أكثر كفاءة حوسبيًا بشكل ملحوظ من الإسقاط العشوائي.
النتائج
محدودية التدرج الكامل: بينما يؤدي التدرج الكامل أداءً جيدًا في حالة "المعاد صياغتها" (دقة 0.993)، إلا أن أداءه ينهار في حالة "المولدة بواسطة النموذج" الأكثر صعوبة (دقة 0.218)، وهو ما يكاد يتفوق بصعوبة على العشوائية (0.20).
تباين المكونات: لا تساهم جميع المكونات بالتساوي. في حالة "المولدة بواسطة النموذج"، تحمل بوابات MLP وإسقاطات الرفع (up projections) الإشارة الأكثر معلوماتية، بينما تساهم مفاتيح وقيم الانتباه (attention key and value) بقليل أو تؤدي أداءً أسوأ من العشوائية. لا يرتبط عدد المعلمات خطيًا بالأداء؛ فالدور الوظيفي هو المحدد الأكثر أهمية.
الاختيار مقابل الإسقاط:
الدقة: تحقق المجموعة الفرعية المختارة جشعًا من المكونات (باستخدام أقل من 5% من المعلمات) دقة شبه مثالية (0.998) في حالة "المعاد صياغتها"، وتتفوق بشكل كبير على التدرج الكامل في حالة "المولدة بواسطة النموذج" (0.36 مقابل 0.218).
الهندسة مقابل المنفعة: بينما يحافظ الإسقاط العشوائي بفعالية على الهندسة العالمية للتدرج الكامل (تشابه جيب تمام عالٍ مع درجات التدرج الكامل)، فإن هذه الدقة العالية لا تترجم إلى دقة استرجاع مثالية. إن اختيار المكونات بناءً على منفعتها المحددة لمهمة الاسترجاع يعد أمرًا متفوقًا على الحفاظ على الهندسة العالمية.
الكفاءة الحوسبية: طريقة الاختيار الجشع أكثر كفاءة بشكل كبير. استغرق حساب الضرب النقطي مسبقًا حوالي 4 ساعات، بينما استغرق الاختيار دقائق معدودة. في المقابل، تطلبت خطوط أساس الإسقاط العشوائي أكثر من 900 ساعة (بدون التخزين المؤقت) بسبب الكثافة الحوسبية لإسقاط المتجهات الضخمة.
الأهمية والادعاءات يزعم البحث أنه بالنسبة للتفسيرات القائمة على الأمثلة للنماذج الكبيرة، فإن الاختيار المستهدف للمكونات هو استراتيجية عملية ومتفوقة مقارنة بالإسقاط العشوائي أو استخدام التدرج الكامل. الرؤية المركزية هي أن مجموعة فرعية متفرقة مختارة بعناية من مكونات النموذج يمكن أن توفر إشارة أوضح وأكثر تمييزًا لمهام محددة من التدرج الكامل المليء بالضجيج. يجعل هذا النهج التفسيرات القائمة على الأمثلة للنماذج الكبيرة أكثر جدوى من الناحية الحوسبية دون التضحية بالدقة، بل وتحسينها في كثير من الأحيان. يخلص المؤلفون إلى أن قصر تقدير التأثير على مجموعة فرعية مدركة بنيويًا من الطبقات هو مسار قابل للتطبيق، مما يتحدى الافتراض بأن التدرج الكامل هو المصدر الأمثل للمعلومات.
يتسم العمل بنطاق متواضع، حيث يشير إلى القيود المتعلقة بحجم النموذج (1.2 مليار معلمة) والطبيعة الثابتة للتقييم (استخدام نقطة تفتيش واحدة). يقترح المؤلفون أن العمل المستقبلي يجب أن يستكشف التعميم عبر بنيات وأحجام مختلفة، وطرق الاقتراح الديناميكية التي تتبع التأثير طوال عملية التدريب.