UNMASK: Discovering and Causally Verifying Spurious Shortcuts in Text Classifiers
تقدم الورقة البحثية UNMASK، وهو مسار عمل مؤتمت بالكامل يكتشف الارتباطات الزائفة في مصنفات النصوص ويتحقق منها سببياً ويخفف من حدتها دون الحاجة إلى تسميات توضيحية بشرية إضافية، مما يؤدي إلى تحسين المتانة في معايير القياس خارج نطاق التوزيع ويمكّن إعادة وزن المجموعات بدون تسميات توضيحية.
تخيل أنك تعلم روبوتًا كيفية التمييز بين قصة إخبارية حقيقية وأخرى مزيفة. تعرض عليه آلاف الأمثلة، فيصبح بارعًا جدًا في الاختبار. ولكن بعد ذلك، تدرك أن الروبوت لا يقرأ القصة فعليًا؛ بل يبحث فقط عن خدعة معينة. ربما تعلم أنه إذا كان العنوان يحتوي على كلمة "صادم"، فمن المحتمل أن يكون مزيفًا، أو إذا تشابهت جملتان في ثلاث كلمات، فهذا يعني أنهما تعنيان الشيء نفسه. في عالم الذكاء الاصطناائي، يُطلق على هذا اسم "تعلم الاختصارات". فبدلاً من القيام بالعمل الشاق المتمثل في فهم اللغة، يجد الذكاء الاصطناعي أنماطًا سهلة وبسيطة تتوافق مع الإجابة الصحيحة في معظم الأحيان. هذه مشكلة كبيرة لأن هذه الاختصارات تجعل الروبوت يبدو ذكيًا في الاختبارات القياسية، لكنها تجعله يفشل فشلًا ذريعًا عندما يواجه شيئًا جديدًا أو مخادعًا أو مختلفًا قليلاً. يطلق العلماء على هذه الأنماط المضللة اسم "الارتباطات الزائفة". والسؤال الكبير الذي ظل قائمًا هو: كيف نجد هذه الحيل غير المرئية التي يستخدمها الروبوت دون أن يضطر إنسان للجلوس وتحديدها يدويًا واحدة تلو الأخرى؟
هنا يأتي دور أداة جديدة تسمى UNMASK. فكر في UNMASK كأنها محقق ذكي للغاية لا يكتفي بمجرد التخمين فيما يفكر فيه الروبوت، بل يمسك بالروبوت متلبسًا ويثبت أنه يعتمد على اختصار ما. لقد بنى الباحثون مسار عمل مؤتمتًا بالكامل يعمل مثل خدعة سحرية مكونة من ثلاث مراحل. أولاً، يستخدم نموذج لغة كبيرًا (ذكاء اصطناعي متطور جدًا) لابتكار قائمة من "الاختصارات" المحتملة التي قد يستخدمها الروبوت، وكتابتها كقواعد صارمة قابلة للقراءة بواسطة الكمبيوتر (مثل "إذا ظهرت كلمة 'أبدًا'، ضع علامة"). ثانيًا، يضع هذه القواعد تحت اختبار إحصائي صارم لمعرفة ما إذا كانت شائعة حقًا في البيانات، مما يؤدي إلى تصفية القواعد التي ليست سوى ضوضاء عشوائية. ولكن هذا هو الجزء الأهم: المرحلة الثالثة. فمجرد وجود نمط في البيانات لا يعني بالضرورة أن الروبوت يستخدمه. لذا، يقوم UNMASK بتجربة "ماذا لو". يأخذ جملة، ويقوم باستئصال الاختصار المشتبه به جراحيًا، ثم يسأل الروبوت أن يخمن مرة أخرى. إذا تغيرت إجابة الروبوت بسبب غياب الاختصار، فقد أثبت UNMASK أن الروبوت كان يعتمد حقًا على ذلك الاختصار.
بمجرد أن يحدد UNMASK هذه الاختصارات ويثبتها، فإنه لا يتوقف عند هذا الحد؛ بل يساعد في إصلاح الروبوت. فهو يستخدم نفس القواعد التي اكتشفها لتقسيم بيانات التدريب إلى فئات "عادلة" و"غير عادلة"، مما يسم يسمح للروبوت بإعادة تعلم المهمة دون الاختصارات البسيطة. اختبر الباحثون ذلك في تحديين رئيسيين: أحدهما يتعلق بألغاز المنطق (الاستدلال اللغوي الطبيعي) والآخر يتعلق بالكشف عن التعليقات السامة عبر الإنترنت. في ألغاز المنطق، نجح UNMASK في إعادة اكتشاف حيل شهيرة، مثل اعتماد الروبوت المفرط على الكلمات التي تبدو متشابهة أو وجود كلمات النفي مثل "ليس". وقد أكد أن بينما كان أحد أنواع الروبوتات (BERT) يقع في هذه الفخاخ، فإن روبوتًا آخر مختلفًا قليلاً (RoBERTa) كان في الواقع محصنًا ضد بعضها — وهو فرق لم يكن ليظهر إلا من خلال هذا التحقق الدقيق خطوة بخبطوة. وفي مهمة التعليقات السامة، تمكن UNMASK من إصلاح انحياز الروبوت ضد مجموعات ديموغرافية محددة دون الحاجة أبدًا إلى إنسان لتصنيف من ينتمي إليها. لقد طابق أداء الخبراء الذين صنفوا البيانات يدويًا، مما أثبت أنه يمكنك العثًا هذه الانحيازات العميقة وإصلاحها تلقائيًا.
كما أظهرت الورقة البحثية أن هذا العمل التحقيقي يعمل أيضًا على أنواع أخرى من الذكاء الاصطناعي، مثل تلك التي تقرر أي إجابة هي "الأفضل" في روبوتات الدردشة. فقد وجدت أن روبوتات الدردشة هذه كانت منحازة نحو الإجابات الطويلة أو أساليب تنسيق معينة، حتى عندما لم يكن لتلك الأساليب أي علاقة بجودة الإجابة. ومع ذلك، يشدد الباحثون على أن UNMASK ليس عصا سحرية تحل كل شيء. فهو يمكنه فقط العثور على الاختصارات التي يمكن كتابتها كقواعد منطقية واضحة. ولا يمكنه رصد الانحيازات المختبئة في "روح" النص أو أسلوبه، أو الأنماط التي تكون شديدة التعقيد بحيث يصعب وصفها بجملة بسيطة. ولكن بالنسبة للاختصارات التي يمكنه العثور عليها، فإنه يوفر وسيلة للإمساك بها، وإثبات أنها هي المشكلة، وإصلاحها، كل ذلك دون الحاجة إلى إنسان للقيام بالعمل الشاق.
ملخص تقني: UNMASK – اكتشاف والتحقق السببي من الاختصارات الزائفة في مصنفات النصوص
بيان المشكلة
غالباً ما تحقق النماذج اللغوية العصبية المدربة على مجموعات بيانات ضخمة من مصادر جماعية دقة عالية في الاختبارات المعيارية من خلال استغلال أنماط سطحية زائفة (اختصارات) ترتبط بالملصقات المستهدفة ولكنها تفتقر إلى الصلة اللغوية أو السببية الحقيقية. وبينما أحرزت الأساليب الحالية تقدماً في تحديد هذه الارتباطات، إلا أنها تعاني من قصورين أساسيين:
الاعتماد على العنصر البشري: تتطلب معظم الطرق تحديداً يدوياً لمفردات الميزات أو تعتمد على وكلاء غامضين لهيكل المجموعات.
فجوة الارتباط مقابل السببية: يتوقف الاكتشاف الآلي الحالي غالباً عند مستوى الارتباط الإحصائي على مستوى مجموعة البيانات، ويفشل في التحقق مما إذا كان نموذج معين مدرب بالفعل يستغل هذه الميزات. فقد تكون الميزة مرتبطة إحصائياً بملصق ما في مجموعة البيانات (مثل كلمة "never" في أزواج التناقض) دون أن يعتمد النموذج عليها في التنبؤ.
تعالج الورقة البحثية السؤال الجوهري التالي: كيف يمكننا تحديد الميزات السطحية الزائفة دون معرفة مسبقة، وكيف يمكننا التحقق من اعتماد نموذج مدرب عليها سببياً؟
المنهجية: مسار UNMASK
إن UNMASK هو مسار مؤتمت بالكامل يعمل دون الحاجة إلى تسميات توضيحية إضافية من البشر. ويتكون من أربع مراحل متميزة، توحدها استخدام التعبيرات المنطقية (Boolean Expressions) القابلة للتنفيذ كتمثيل للميزات المرشحة.
1. توليد المرشحين (الاكتشاف)
المدخلات: أمثلة غير مصنفة من بيانات التدريب.
العملية: يتم توجيه نموذج لغوي كبير (LLM)، يُسمى SCGENLLM، لاقتراح أنماط سطحية تظهر باستمرار عبر الأمثلة ولكنها ليست ضرورية منطقياً للمهمة.
المخرجات: لكل مرشح، يعيد النموذج وصفاً باللغة الطبيعية، والأهم من ذلك، تعبيراً منطقياً قابلاً للتنفيذb(x) يتم تقييمه بشكل حتمي (TRUE/FALSE) على أي نص مدخل.
المبرر: يسمي استخدام التعبيرات المنطقية التقييم الحتمي في جميع المراحل اللاحقة، على عكس الأوصاف باللغة الطبيعية التي تتسم بالغموض.
2. التحقق الإحصائي
تعمل هذه المرحلة على تصفية المرشحين لضمان تمثيلهم لآثار حقيقية في مجموعة البيانات.
إزالة التكرار: يتم إزالة تكرار المرشحين بناءً على تشابه الوصف، ولاحقاً بناءً على التغطية الفعلية (مجموعة العينات التي تفعّلها الميزة).
التحقق من المنطق: يقوم EVALUATORLLM بالتحقق من الصحة النحوية والدلالية للتعبيرات المنطقية. ويتم إعادة كتابة التعبيرات غير الصحيحة بشكل تكراري.
التكرار ثنائي المرحلة:
مرحلة الاكتشاف: تُختبر الميزات مقابل الملصقات باستخدام اختبار فيشر الدقيق (Fisher's exact test) على مجموعة اكتشاف. ويتم التحكم في معدل الاكتشاف الخاطئ (FDR) عبر خوارزمية بنجاميني-هوخبرج (Benjamini-Hochberg).
مرحلة التحقق: يُعاد اختبار الميزات الهامة على مجموعة تحقق محجوزة.
الفلاتر: تُستبعد الميزات إذا كانت تعريفية (سقف التغطية) أو غير تنبؤية (أرضية الدقة).
المخرجات: مجموعة من الميزات المتحقق منها إحصائياً (Fval).
3. التحقق السببي
تميز هذه المرحلة بين الميزات التي يمكن للنموذج استخدامها والميزات التي يعتمد عليها فعلياً.
فحص الاعتماد: قبل توليد التناقضات الواقعية (Counterfactuals)، يقوم المسار بفحص "الاعتماد الزائف" من خلال التحقق مما إذا كان النموذج يبالغ في التنبؤ بالملصق المرتبط عندما تكون الميزة موجودة بينما يتناقض الملصق الحقيقي معها.
توليد التناقضات الواقعية: بالنسبة للميزات الناجحة، يقوم GENERATORLLM بإنشاء تعديلات دنيا (xcf) تزيل النمط السطحي مع الحفاظ على الملصق الدلالي. ويقوم EVALUATORLLM مستقل بالتحقق من التعديل.
قياس الأثر: يقيس المسار التحول في احتمالية تنبؤ النموذج للملصق الزائف (Δp) بين المدخلات الأصلية ومدخلات التناقض الواقعي.
التصنيف: تُصنف الميزة على أنها مستغلة سببياً (Fcausal) فقط إذا أدى حذفها إلى انخفاض كبير في ثقة النموذج في الملصق الزائف. وهذا يفصل بين الارتباط على مستوى مجموعة البيانات والاستغلال على مستوى النموذج.
4. إزالة الانحياز من النموذج
تعريف المجموعات: تعمل التعبيرات المنطقية المكتشفة كملصقات مجموعات بدون تسميات توضيحية. لكل ميزة وملصق، يتم تعريف المجموعات من خلال الضرب الكارتيزي لوجود/غياب الميزة وتسميات الفئات.
التخفيف: تُستخدم هذه المجموعات لتدريب نماذج منزوعة الانحياز باستخدام تقنيات قياسية مثل إعادة وزن الميزات العميقة (DFR)، أو نموذج "منتج الخبراء" (PoE)، أو SCER، دون الحاجة إلى تسميات توضيحية ديموغرافية أو بشرية.
المساهمات الرئيسية
مسار مؤتمت بالكامل: يقوم UNMASK بتوليد، والتحقق من، وتخفيف الميزات الزائفة باستخدام تعبيرات منطقية قابلة للتنفيذ، مما يلغي الحاجة إلى مفردات ميزات يحددها البشر.
بروتوكول التحقق السببي: يقدم المسار مرحلة تحقق بالتناقض الواقعي تفصل بين الارتباط على مستوى مجموعة البيانات والاستغلال على مستوى النموذج. وهو يكشف أن الارتباطات العالية في مجموعة البيانات لا تضمن بالضرورة اعتماد النموذج عليها.
إزالة الانحياز بدون تسميات توضيحية: باستخدام التعبيرات المنطقية المكتشفة كملصقات للمجموعات، يحقق UNMASK أداءً مقارباً لأسلوب (DFR) الذي يستخدم تسميات يدوية على مجموعة بيانات CivilComments-WILDS دون استخدام تسميات ديموغرافية.
التعميم عبر المهام: تتوسع مرحلتا الاكتشاف والتحقق لتشمل بيانات التفضيل في RewardBench2، حيث تكشف عن انحيازات قابلة للتفسير (مثل الطول، التنسيق، ولغة الرفض) في نماذج المكافأة.
النتائج التجريبية
الاستدلال اللغوي الطبيعي (MNLI, HANS, إلخ)
إعادة الاكتشاف: على نماذج BERT وRoBERTa المدربة على MNLI، أعاد UNMASK اكتشاف الانحيازات الراسخة بشكل مستقل، بما في ذلك التداخل المعجمي وانحياز النفي.
معدلات التحقق: تحقق من 9 ميزات من أصل 10 في BERT، ومن 6 من أصل 10 في RoBERTa.
التباين بين البنى الهيكلية: كشف التحقق السببي أن RoBERTA محصن ضد ثلاث ميزات من فئة التناقض التي يستغلها BERT، وهو تباين لا يمكن رؤيته عبر تحليل الارتباط وحده.
الأداء: في اختبار HANS (المصمم لاختبار المتانة تجاه الاختصارات)، أدى التخفيف القائم على UNMASK إلى تحسين دقة BERT بمقدار يصل إلى 12.58 نقطة مئوية (من 52.41% إلى 64.99% باستخدام PoE-IPW-Group) مع الحفاظ على الأداء داخل التوزيع.
CivilComments-WILDS (كشف السمية)
استعادة البيانات الديموغرافية: استخرج المسار ميزات تحتوي على رموز الهوية الديموغرافية، مستعيداً 6 من أصل 8 هويات نموذجية دون الوصول إلى تسميات ديموغرافية.
دقة المجموعة الأسوأ (WGA): باستخدام المجموعات البرمجية المشتقة من UNMASK، حقق DFR نسبة 71.84% في WGA لنموذج BERT و 72.12% لنموذج RoBERTa. وهذا يطابق نسبة 70.1% في WGA التي سجلتها الأعمال السابقة (Kirichenko et al., 2023) التي اعتمدت على تسميات ديموغرافية يدوية.
مقارنة خط الأساس: تفوق UNMASK على نماذج الاكتشاف البسيطة (إحصاءات PMI والمرشحين القائمين على LLM فقط) بمقدار 3.65 نقطة مئوية في WGA، مما يثبت قيمة التعبيرات المنطقية المركبة مقارنة بإحصاءات الرمز المفرد.
تحليل المشاعر (SST-2, IMB)
دور حارس البوابة: كاختبار استئصال مضبوط، تم تطبيق المسار على مهام تحليل المشاعر حيث تكون الكلمات السطحية هي إشارة المهمة وليست اختصارات زائفة.
النتيجة: أعاد التحقق السببي بشكل صحيح صفر ميزات مستغلة، مما يؤكد أن المسار يعمل كبوابة قرار بدلاً من كونه أداة صقل تفرض إزالة الانحياز حيث لا داعي لذلك.
RewardBench2
عند تطبيقه على بيانات تفضيل نماذج المكافأة، استعاد المسار انحيازات معروفة مثل تفضيلات الطول/التنسيق في الاستجابات المرفوضة، وتسلسلاً هرمياً في لغة الرفض في مهام السلامة، مما أظهر قابلية التطبيق خارج نطاق التصنيف.
الأهمية والادعاءات
تزعم الورقة أن UNMASK يسد الفجوة بين الآثار الإحصائية في مجموعة البيانات والاستغلال الفعلي للاختصارات من قبل النموذج. تكمن أهميته الأساسية في:
القابلية للتدقيق: جعل اختصارات المصنف "قابلة للتسمية، والاختبار، والإزالة" من خلال تعبيرات منطقية حتمية.
الصرامة السببية: تقديم دليل على أن ليس كل الميزات المرتبطة يتم استغلالها، وأن بنية النموذج (مثل BERT مقابل RoBERTa) تؤثر بشكل كبير على الاختصارات المستخدمة.
الواقعية: تمكين إزالة الانحياز عالية الجودة في مهام معقدة مثل كشف السمية دون التكلفة الباهظة للتسميات الديموغرافية اليدوية، وتحقيق التكافؤ مع الطرق المعتمدة على التسميات اليدوية.
يشير المؤلفون إلى بعض القيود: المسار مقيد بقدرة التعبيرات المنطقية القابلة للتنفيذ (مما يعني فقدان الاختصارات الدلالية الكامنة)، كما أن مرحلة السببية محدودة بقدرة المولد على إنشاء تعديلات دنيا دون تغيير خصائص المدخلات الأخرى.