Skip to content

Latest commit

 

History

History
62 lines (45 loc) · 3.36 KB

File metadata and controls

62 lines (45 loc) · 3.36 KB

مذكرة: اختراقات العقد - Contract Perturbations

المشكلة: تشبع المعيار (Benchmark Saturation)

عندما يصل النظام الى نقطة حيث breaking_point تكون دائما None (لا يوجد مستوى يكسر فيه)، هذا يعني ان المعيار اصبح مشبعا - النظام تعلم كيف يجتاز الاختبارات بدون ان يتحسن فعلا.

اعراض التشبع:

  1. breaking_point: null في كل التقارير
  2. نسبة نجاح 100% في كل مستويات المنهج
  3. عدم وجود تمييز بين الاستجابات الجيدة والسطحية

الحل: اختراقات العقد (Contract Perturbations)

بدلا من تغيير نص المهمة فقط (lexical_soften, brevity_lure, etc.)، نغير العقد نفسه - القواعد التي يتم التحقق منها.

المبدأ:

اذا كان النظام يجتاز التحقق دائما، فالمشكلة ليست في النظام بل في التحقق. نحتاج ان نجعل التحقق اصعب بطريقة تكشف نقاط الضعف الحقيقية.

المشغلات الستة:

1. property_addition (اضافة خاصية)

يضيف خاصية مطلوبة جديدة لا تستطيع الاستجابات النمطية تلبيتها.

  • مثال: اضافة "quantitative cost-benefit ratio" لمهمة مقارنة

2. property_removal (ازالة خاصية)

يزيل خاصية مطلوبة لاختبار ان التحقق ينجح فعلا عندما يكون اسهل.

  • اذا فشل التحقق حتى بعد الازالة، هناك خلل في التحقق

3. shortcut_injection (حقن اختصار)

يضيف اختصار محظور يستهدف الاستجابات النمطية.

  • مثال: "formulaic comparison structure" يمنع المقارنات الآلية

4. contract_flip (قلب العقد)

ينقل خاصية مطلوبة الى المحظورات والعكس.

  • نفس النص، معايير نجاح مقلوبة - يختبر ان التحقق يقرأ العقد فعلا

5. contract_tightening_strict (تشديد صارم)

يجعل كل الخصائص الزامية بدون درجات جزئية.

  • يكشف النظام الذي يمرر "تقريبا صحيح" كنجاح

6. counterfactual_contract (عقد مضاد)

يبدل كل الخصائص المطلوبة مع كل المحظورات.

  • اختبار ان النظام لا يحفظ الاجابات بل يتبع العقد

التكامل مع المنهج:

المستوى 6: contract_flip + property_addition

يأخذ نتيجة المستوى 5 (اقصى ضغط نصي) ويضيف ضغط العقد.

  • يكشف: هل النظام يعتمد على النص ام العقد؟

المستوى 7: counterfactual_contract + contract_tightening_strict

اقصى ضغط عقدي - العقد مقلوب ومشدد.

  • يكشف: هل التحقق صوري ام حقيقي؟

المصادر (السرقات الشرعية):

  • 5.65: CheckList (Ribeiro et al. 2020) - اختبار الحد الادنى للوظائف
  • 5.66: Contrast Sets (Gardner et al. 2020) - تعديل ادنى يقلب النتيجة
  • 5.67: Counterfactual Data (Kaushik et al. 2020) - نفس النص، علامة مقلوبة
  • 5.68: Dynabench (Kiela et al. 2021) - معيار ديناميكي عدائي