Characterizing Memorization in Diffusion Language Models: Generalized Extraction and Sampling Effects
تقدم هذه الورقة إطاراً نظرياً وتجريبياً يوضح أنه في حين يمكن لنماذج اللغة الانتشارية (DLMs) حفظ بيانات التدريب مع زيادة احتمالية ذلك بالتوازي مع دقة أخذ العينات، إلا أنها تظهر تسريباً أقل بكثير لمعلومات الهوية الشخصية مقارنة بالنماذج ذات التوليد الذاتي (autoregressive models) في ظل تقييمات مشروطة ببادئات متوافقة.
المؤلفون الأصليون:Xiaoyu Luo, Wenrui Yu, Qiongxiu Li, Johannes Bjerva
تخيل أن لديك كاتبين مختلفين يحاولان إكمال قصة بناءً على بضع كلمات بداية (مقدمة).
الكاتب القديم (نموذج التوليد الذاتي - ARM): هذا الكاتب يشبه صفاً صارماً من قطع الدومينو. يكتب كلمة، ثم التي تليها، ثم التي تليها، متحركاً بدقة من اليسار إلى اليمين. لا يمكنه العودة لتغيير ما كتبه سابقاً. هذه هي الطريقة التي تعمل بها معظم نماذج الذكاء الاصطناك الحالية (مثل النسخ الأصلية من ChatGPT).
الكاتب الجديد (نموذج الانتشار - DLM): هذا الكاتب يشبه النحات الذي يعمل بكتلة من الطين. يبدأ بكتلة من "الضجيج" (أو صفحة مليئة بالأقنعة الفارغة ⟨M⟩). هو لا يكتب كلمة بكلمة، بل ينظر إلى الصفحة بأكملها، ويخمن ما قد تكون عليه بعض الكلمات، ثم يملأ الفراغات، ثم ينظر إلى الصفحة بأكملها مرة أخرى ليصقل تلك التخمينات. يستمر في صقل الصفحة بأكملها حتى تصبح منطقية. هذه هي تقنية "الانتشار" الجديدة.
المشكلة: خطر "آلة التصوير"
لكل من الكاتبين عيب سري: الحفظ والاسترجاع (Memorization). إذا درّبتهم على مكتبة ضخمة من الكتب، فقد يحفظون صفحات معينة عن طريق الخطأ. إذا طلبت منهم إكمال جملة تبدأ بكتاب مشهور، فقد يقومون ببساطة بـ "اجترار" (نسخ ولصق) بقية الكتاب، بما في ذلك المعلومات الخاصة مثل أرقام الهواتف أو عناوين البريد الإلكتروني.
نحن نعلم أن "الكاتب القديم" يفعل ذلك كثيراً. لكننا لم نكن نعرف ما إذا كان "الكاتب الجديد" (الانتشار) أكثر أماناً أم أكثر خطورة.
اكتشاف الورقة البحثية: تأثير "عدسة الزووم"
لقد صمم الباحثون طريقة جديدة لاختبار الكاتب الجديد. أدركوا أن الكاتب الجديد لديه إعداد خاص يسمى دقة أخذ العينات (Sampling Resolution). فكر في هذا الإعداد كأنه عدسة زووم أو عدد الخطوات التي يتخذها الكاتب لإنهاء المهمة.
الدقة المنخفضة (سريع/خشن): يخمن الكاتب كتلًا كبيرة من النص دفعة واحدة. يكون سريعاً، لكن الأمر يشبه النظر إلى صورة من بعيد؛ قد تحصل على الفكرة العامة، لكنك لن ترى التفاصيل الدقيقة.
الدقة العالية (بطيء/دقيق): يخمن الكاتب كلمة واحدة صغيرة في كل مرة، ويقوم بصقل الصورة بأكملها خطوة بخطوة. الأمر يشبه عمل "زووم" حتى تتمكن من قراءة البكسلات الفردية.
النتيجة الكبرى: تثبت الورقة البحثية قاعدة مفاجئة: كلما زاد عدد الخطوات (الدقة العالية) التي تتخذها، زاد احتمال قيام الذكاء الاصطناعي بنسخ بيانات التدريب حرفياً.
تشبيه: تخيل أنك تحاول تخمين كلمة سر سرية.
إذا خمنت كلمة السر كاملة في قفزة واحدة عملاقة (دقة منخفضة)، فقد تخطئ.
إذا خمنت حرفاً واحداً، ثم تحققت منه، ثم خمنت الحرف التالي، وهكذا (دقة عالية)، فأنت أكثر عرضة في النهاية لإعادة بناء كلمة السر الأصلية بدقة.
المفاجأة: وجد الباحثون أن "الكاتب القديم" (الذي يكتب كلمة بكلمة) هو في الواقع "الكاتب الجديد" وقد تم رفع مستوى دقته إلى أقصى حد. ولأن الكاتب القديم يكتب دائماً كلمة واحدة في كل مرة، فهو بطبيعته أكثر عرضة لحفظ الأسرار الدقيقة من الكاتب الجديد، الذي عادة ما يخمن في شكل كتل.
التجارب: اختبار "التسريب"
قام الفريق بإجراء اختبارات لمعرفة مقدار "معلومات الهوية الشخصية" (PII) مثل رسائل البريد الإلكتروني وأرقام الهواتف التي تسربتها هذه النماذج.
الإعداد: أخذوا نموذجين متقاربين في الحجم (واحد قديم وواحد جديد) وأعطوهما نصاً يبدأ بعنوان بريد إلكتروني وهمي.
النتيجة:
الكاتب القديم (ARM): كان بمثابة "صنبور يسرب"؛ فقد أكمل الجملة بشكل متكرر بعنوان البريد الإلكتروني الحقيقي الذي حفظه.
الكاتب الجديد (DLM): كان أكثر أماناً بكثير. حتى عندما طُلب منه إكمال الجملة، نادراً ما نسخ البيانات الخاصة بدقة.
الخدعة: إذا أجبروا الكاتب الجديد على استخدام "الدقة القصوى" (تخمين حرف واحد في كل مرة، تماماً مثل الكاتب القديم)، فإنه بدأ بالفعل في تسريب المزيد من البيانات. ولكن في وضعه الطبيعي، الأسرع، كان أكثر أماناً.
لماذا يهم هذا؟
الخصوصية: إذا كنت قلقاً من أن يقوم الذكاء الاصطناعي عن طريق الخطأ بإفشاء بياناتك الخاصة (مثل عنوان منزلك أو رقم بطاقتك الائتمانية)، فقد تكون نماذج "الانتشار" الجديدة خياراً أكثر أماناً إذا لم تجبرها على العمل بـ "حركة بطيئة" (دقة عالية).
المقايضة: النماذج الجديدة أسرع ويمكنها النظر إلى الجملة بأكملها في وقت واحد (مما يساعدها على فهم السياق بشكل أفضل)، لكن هذا النهج "المضبب" يساعد في الواقع على إخفاء الأسرار المحفوظة.
التحذير: إذا طلبت من نموذج الانتشار أن يكون فائق الدقة وأن يتخذ خطوات صغيرة كثيرة لتوليد النص، فأنت تقوم فعلياً بتحويله إلى "آلة تصوير" أكثر عرضة لتسريب الأسرار.
ملخص في سطور
الذكاء الاصطناعي القديم: يكتب كلمة بكلمة. جيد جداً في نسخ الأسرار بدقة.
الذكاء الاصطناعي الجديد: يصقل النص بأكمله في وقت واحد. هو بشكل عام أفضل في الحفاظ على سلامة الأسرار لأن أسلوبه يعتمد على "التخمين" بدلاً من "التسميع".
القاعدة: كلما أُجبر الذكاء الاصطناعي الجديد على أن يكون دقيقاً ويسير بخطوات صغيرة جداً، بدأ يتصرف مثل الذكاء الاصطناعي القديم ويبدأ في تسريب الأسرار.
الخلاصة: نماذج الانتشار الجديدة واعدة فيما يتعلق بالخصوصية، لكننا بحاجة للحذر من إجبارها على العمل بطريقة تجعلها دقيقة للغاية، وإلا فقد تبدأ في حفظ بياناتنا الخاصة تماماً مثل النماذج القديمة.
إليك ملخص تقني مفصل للورقة البحثية بعنوان "توصيف الحفظ في نماذج اللغة الانتشارية: الاستخراج المعمم وتأثيرات أخذ العينات".
1. بيان المشكلة
من المعروف أن النماذج اللغوية الكبيرة (LLMs)، ولا سيما النماذج ذات الترتيب الذاتي (ARMs)، تقوم بحفظ واستعادة بيانات التدريب حرفياً، مما يشكل مخاطر كبيرة على الخصوصية (تسريب معلومات الهوية الشخصية PII) وحقوق الطبع والنشر. وبينما ظهرت نماذج اللغة الانتشارية (DLMs) كبديل تنافسي بفضل قدراتها على التوليد ثنائي الاتجاه، إلا أن سلوك الحفظ لديها لا يزال غير مستكشف إلى حد كبير.
الفجوة: أطر الحفظ الحالية (مثل استخراج البادئة واللاحقة) مصممة للطبيعة أحادية الاتجاه والمتسلسلة للنماذج ذات الترتيب الذاتي (ARMs). وهي لا تمتد بشكل طبيعي إلى نماذج اللغة الانتشارية (DLMs)، التي تستعيد الرموز (tokens) المحجوبة من خلال مسارات إزالة ضجيج عشوائية وغير متسلسلة.
السؤال: كيف يؤثر التحول الجوهري من التنبؤ بالرمز التالي أحادي الاتجاه إلى الحجب ثنائي الاتجاه وعملية إزالة الضجيج العكسية على ميل النموذج لحفظ وتسريب بيانات التدريب؟
2. المنهجية
يقترح المؤلفون إطاراً نظرياً وتجريبياً موحداً لتوصيف الحفظ في نماذج اللغة الانتشارية (DLMs).
أ. إطار الاستخراج الاحتمالي المعمم
تقدم الورقة إطار استخراج (n, p)-قابل للاكتشاف المعمم الذي يوحد فك التشفيد المشروط بالبادئة (في النماذج ذات الترتيب الذاتي ARMs) والتوليد القائم على الانتشار (Diffusion) تحت أنماط حجب وتدفقات أخذ عينات عشوائية تعسفية.
التعريف: يكون التسلسل قابلاً للاستخراج بنسبة (n,p) إذا تمكن النموذج، في حال وجود رموز مرصودة (سياق غير محجوب)، من استعادة الرموز الأصلية المحجوبة بدقة ضمن n من الاستعلامات المستقلة باحتمالية لا تقل عن p.
تقدير الاحتمالية: على عكس النماذج ذات الترتيب الذاتي حيث يكون فك التشفيد حتمياً أو ذا ترتيب ثابت، فإن مسارات الاستعادة في نماذج الانتشار (DLMs) هي مسارات عشوائية. يقدر المؤلفون احتمال الاستعادة في المحاولة الواحدة (pz) عن طريق حساب متوسط النتائج عبر أنماط حجب متعددة ومسارات أخذ عينات مختلفة.
ب. التحليل النظري: دقة أخذ العينات (Sampling Resolution)
المساهمة النظرية الأساسية هي تحليل دقة أخذ العينات (N)، والتي تُعرف بعدد الخطوات المتخذة لاستعادة الرموز المحجوبة.
الافتراض 4.2 (الرتابة/Monotonicity): تزديد احتمالية استعادة الرموز المحجوبة بشكل صحيح مع توسع مجموعة الرموز المرصودة (المستعادة بشكل صحيح).
النظرية 4.3: بموجب افتراض الرتابة، فإن زيادة دقة أخذ العينات (أي استخدام خطوات إزالة ضجيج أكثر دقة وتفصيلاً) تزيد بشكل صارم من احتمالية الاستخراج الدقيق لبيانات التدريب.
التقرير 4.4: تم تحديد فك التشفيد ذاتي الترتيب (Autoregressive decoding) كحالة حدية لتوليد الانتشار حيث تكون دقة أخذ العينات قصوى (N=∣M∣، استعادة رمز واحد في كل مرة بتسلسل ثابت). وهذا يعني أن النماذج ذات الترتيب الذاتي (ARMs) تمثل الحد الأعلى لاحتمالية الحفظ في هذا الإطار.
ج. الإعداد التجريبي
النماذج: قام المؤلفون بتدريب نماذج لغة انتشارية (DLMs) بأحجام (170 مليون، 690 مليون، 1.1 مليار معلمة) ونموذج مرجعي ذاتي الترتيب (ARM) بحجم (1.1 مليار معلمة) باستخدام ميزانية حوسبة ومجزئات كلمات (tokenizers) متطابقة لعزل التأثيرات الهيكلية. كما قاموا بتقييم نموذج LLaDA-8B واسع النطاق.
مجموعات البيانات:
التحقق (Validation): نوافذ عشوائية من مجموعة بيانات SlimPajama لاختبار احتمالات الاستعادة النظرية مقابل التجريبية.
تسريب معلومات الهوية الشخصية (PII Leakage): تقييم متوافق باستخدام مجموعة بيانات رسائل البريد الإلكتروني (Enron) (رسائل وأرقام هواتف) لاختبار إكمال الـ PII المشروط بالبادئة.
التحقق من التعميم (Generalization Check): مجموعة بيانات TREC 2007 Spam (منفصلة عن التدريب ولكن من نفس المجال) للتمييز بين الحفظ والتعميم.
3. المساهمات الرئيسية
إطار موحد: صياغة احتمالية معممة للحفظ تنطبق على كل من النماذج ذات الترتيب الذاتي (ARMs) ونماذج الانتشار (DLMs)، مع اعتبار الاستخراج المشروط بالبادئة حالة خاصة من توليد الانتشار.
التحكم في دقة أخذ العينات: إثبات نظري (النظرية 4.3) يوضح أن دقة أخذ العينات الأكثر دقة (خطوات إزالة ضجيج أكثر) تزيد بشكل رتيب من خطر الحفظ الدقيق.
المقارنة الهيكلية: تحليل متوافق يظهر أن نماذج (DLMs)، في ظل إعدادات متطابقة مشروطة بالبادئة، تظهر حفظاً أقل بكثير لمعلومات الهوية الشخصية (PII) مقارم بالنماذج ذات الترتيب الذاتي (ARMs) من نفس الحجم.
4. النتائج الرئيسية
التحقق من النظرية: تؤكد النتائج التجريبية أن تقديرات الاحتمالية النظرية المستمدة من الإطار المعمم تتوافق وثيقاً مع معدلات الاستخراج الملحوظة (الشكل 2).
تأثير الدقة: تظهر التجارب عبر دقة 1 خطوة، وخطوتين، و5 خطوات، و10 خطوات، و"القصوى" (لكل رمز) زيادة واضحة، تتبع مساراً رتيباً تقريباً، في معدلات نجاح الاستعادة الدقيقة مع زيادة عدد خطوات إزالة الضجيج (الشكل 3). وهذا يؤكد أن النماذج ذات الترتيب الذاتي (ARMs) (الدقة القصوى) هي الأكثر عرضة للتسريب الحرفي مقارنة بالانتشار ذي الدقة الخشنة.
مقارنة تسريب معلومات الهوية الشخصية (PII):
في مهمة Enron المتوافقة، سربت نماذج (DLMs) عينات أقل بكثير من المعلومات المحفوظة مقارنة بنماذج (ARMs).
بالنسبة للنماذج بحجم 1.1 مليار، استخرج نموذج (ARM) 213 رسالة بريد إلكتروني عند p=50%، بينما استخرج نموذج (DLM) 16 رسالة فقط (عند الدقة القصوى) و0 (عند خطوة واحدة واحدة).
حتى نموذج LLaDA-8B (بـ 8 مليار معلمة)، رغم تدريبه على بيانات أكبر بكثير (15.6 مليار رمز مقابل 2.3 مليار لنموذج 1.1B ARM)، أظهر معدلات حفظ مماثلة أو أقل من نموذج 1.1B ARM الأصغر حجماً.
الحفظ مقابل التعميم: أظهرت المقارنات بين بيانات التدريب (Enron) وبيانات الاختبار المنفصلة (TREC Spam) فصلاً واضحاً في احتمالية إعادة البناء، مما يؤكد أن مقياس الاستخراج يلتقط الحفظ الحقيقي وليس التعميم المجالي.
5. الأهمية والآثار المترتبة
الآثار المتعلقة بالخصوصية: تشير النتائج إلى أن نماذج (DLMs) قد تكون بطبيعتها أكثر حصانة ضد تسريب بيانات التدريب حرفياً من نماذج (ARMs)، خاصة عند استخدام دقة أخذ عينات خشنة (خطوات أقل). وهذا يقدم استراتيجية تخفيف محتملة للتطبيقات الحساسة للخصوصية.
الرؤية النظرية: يضع هذا العمل رابطاً رسمياً بين ديناميكيات التوليد والحفظ، ويثبت أن الطبيعة "أحادية الاتجاه" للنماذج ذات الترتيب الذاتي (ARMs) هي مجرد تكوين عالي المخاطر ضمن نموذج الانتشار الأوسع.
الاتجاهات المستقبلية: تسلط الورقة الضوء على الحاجة للتحقيق في كيفية تأثير تقنيات ما بعد التدريب (SFT، RLHF) على تحويل نماذج (DLMs) نحو سلوكيات تشبه البادئة واللاحقة، مما قد يزيد من مخاطر الحفظ لديها لتتساوى مع نماذج (ARMs).
باختاً، توفر هذه الورقة أول توصيف منهجي للحفظ في نماذج اللغة الانتشارية (DLMs)، وتثبت أن دقة أخذ العينات هي مفتاح تحكم حاسم في خطر الحفظ، وتوضح أن نماذج (DLMs) تقدم حالياً ملف تسريب أقل للمعلومات الشخصية مقارنة بنظيراتها ذات الترتيب الذاتي.