Reproducing and Stress-Testing Two Approaches to LLM Reasoning Reliability: Test-Time Probability Aggregation and Logic-Representation Editing
تعيد هذه الورقة البحثية، بشكل مستقل، إنتاج واختبار صرامة طريقتين حديثتين لتعزيز موثوقية استدلال النماذج اللغوية الكبيرة — وهما تجميع الاحتمالات في وقت الاختبار (RPC) وتحرير التمثيل المنطقي (LCF) — عبر نماذج ومجالات متعددة، لتجد أن طريقة (RPC) لا تقدم أي ميزة معنوية مقارنة بطريقة الاتساق الذاتي القياسية، وأن تأثيرات تحرير المنطق في طريقة (LCF) ضعيفة وغير متسقة وغالبًا ما تكون ضارة.
تخيل أنك تحاول تعليم روبوت ذكي للغاية، ولكنه مغرور أحياناً، كيفية حل الألغاز. هذا الروبوت هو نموذج لغوي كبير (LLM)، وهو نوع من الذكاء الاصطناائي يقرأ ويكتب مثل البشر. المشكلة الكبيرة التي يحاول العلماء حلها الآن هي "الموثوقية". الأمر لا يتعلق فقط بما إذا كان الروبوت قد حصل على الإجابة الصحيحة، بل يتعلق بما إذا كان الروبوت يعرف أنه على صواب. أحياناً، سيشرح الروبوت إجابة خاطئة بكل ثقة وبقواعد لغوية مثالية، أو قد يتردد في حل مسألة سهلة. نحن نريد روبوتاً دقيقاً وواثقاً في ثقته أيضاً. ولإصلاح ذلك، حاول الباحثون استخدام حيلتين مختلفتين تماماً: إحداهما تتضمن مطالبة الروبوت بالتفكير في نفس المشكلة عدة مرات والتصويت على أفضل إجابة، بينما تتضمن الأخرى محاولة الوصول إلى داخل عقل الروبوت وتعديل الجزء الذي يتعامل مع المنطق في "عقله" فعلياً.
هذه الورقة البحثية تشبه مجموعة من المحققين المستقلين الذين قرروا اختبار أداتين جديدتين ومبهرتين صُممتا لجعل روبوتات الذكاء الاصطناعي هذه أكثر موثوقية. الأداة الأولى، تسمى RPC، وهي بمثابة "آلة تصويت" تحدث في نهاية العملية تماماً. الأداة الثانية، تسمى LCF، وهي بمثابة "جراح دماغ" يحاول تعديل الأفكار الداخلية للروبوت أثناء عمله. ادعى المبتكرون الأصليون لهذه الأدوات أنها مذهلة، لكن لم يقم أحد غيرهم ببنائها من الصفر ليرى ما إذا كانت تعمل حقاً. قرر مؤلفو هذه الورقة لعب دور المتشككين: فقد أعادوا بناء كلتا الأداتين، واختبرتاهما على أنواع جديدة من الألغاز (مثل القضايا القانونية والمسائل الرياضية)، وطرحا سؤالاً بسيطاً: "هل تعمل هذه الأدوات حقاً، أم أنها مجرد ضربة حظ؟"
تبدأ القصة بالأداة الأولى، RPC. تخيل أنك تطلب من طالب حل مسألة رياضية. إذا أخطأ، فقد يظل يكتب شرحاً مقنعاً للغاية. RPC تشبه مطالبة ذلك الطالب بحل المسألة 32 مرة، وكتابة كل محاولة من تلك المحاولات. ثم، بدلاً من مجرد اختيار الإجابة الأكثر تكراراً (تصويت أغلبية بسيط)، تنظر RPC إلى مدى ثقة الطالب في كل محاولة. إنها تجمع بين "الإجابة الأكثر شعبية" و"الإجابة الأكثر ثقة" لاختيار الفائز. وجد الباحثون أنه عندما أعادوا بناء هذه الأداة تماماً كما وصفها مؤلفوها الأصليون، فقد عملت بشكل مثالي في الاختبارات الرياضية الأصلية. ومع ذلك، عندما نقلوها إلى مناطق جديدة — مثل ترجمة النصوص إلى استعلامات قواعد بيانات أو تحليل الوثائق القانونية — لم تتفوق حقاً على طريقة "تصويت الأغلبية" البسيطة. لقد كانت مثل سيارة فاخرة تسير بشكل رائع في حلبة السباق ولكنها لا تذهب أسرع من سيارة عادية على الطريق السريع. في الواقع، في اختبار محدد يسمى BIRD، أظهرت الأداة تفوقاً طفيفاً فقط عندما سُمح للروبوت بالتفكير 32 مرة، ولكن عندما اختبرها الباحثون على مجموعة أكبر من المشكلات، تلاشى ذلك التفوق الضئيل تماماً. الخلاصة الرئيسية هنا هي أن RPC هي أداة آمنة وغير ضارة لا تجعل الأمور أسوأ أبداً، لكنها أيضاً لم تقدم الدفعة السحرية التي وعد بها مبتكروها في أنواع المهام الجديدة.
ثم تأتي الأداة الثانية، LCF، وهي أكثر طموحاً ومخاطرة. إذا كانت RPC هي آلة تصويت، فإن LCF هي جراح دماغ. الفكرة هي أنه داخل "عقل" الروبوت (طبقات الكود المخفية)، يوجد تياران منفصلان من المعلومات: أحدهما لـ المحتوى (الحقائق والكلمات) والآخر لـ المنطق (قواعد الاستنتاج). ادعت الورقة الأصلية أنه إذا تمكنت من العثية على تيار "المنطق" ودفعته نحو اتجاه "صحيح"، يمكنك إجبار الروبوت على التفكير بمنطق أكبر، بغض النظر عما يقوله. حاول الباحثون إعادة بناء هذا من الصفر لأن المؤلفين الأصليين لم يشاركوا الكود الخاص بهم. وجدوا أن تيار "المنطق" موجود بالفعل، لكنه ضعيف جداً — مثل محاولة سماع همس في غرفة صاخبة. وعندما حاولوا دفع هذا التيار لجعل الروبوت أكثر منطقية، جاءت النتيجة عكسية في معظم الأحيان. في ثلاثة من أصل أربعة نماذج روبوت مختلفة اختبروها، جعلت الأداة الروبوتات في الواقع أقل ثقة في إجاباتها الصحيحة وأكثر عرضة للوقوع في الخطأ. الحالة الوحية التي بدا فيها أنها تساعد هي في نموذج روبوت واحد محدد، ولكن حتى في تلك الحالة، كان التحسن صغيراً جداً لدرجة أنه قد يكون مجرد حظ عشوائي. حاول الباحثون أيضاً جعل "جراحة الدماغ" هذه تعمل على أي روبوت دون الحاجة إلى تدريب أداة خاصة أولاً، لكن ذلك فشل أيضاً. في النهاية، تبين أن أداة "جراح الدماغ" غير موثوقة؛ فهي غالباً ما تعطل الروبوتات التي كان من المفترض أن تصلحها، والحالة الوحيدة التي بدا فيها أنها نجحت، لم تكن الأدلة قوية بما يكفي لاعتبارها نجاحاً حقيقياً.
القرار النهائي من هذه الدراسة هو قصة ذات نتيجتين مختلفتين تماماً. "آلة التصويت" (RPC) هي أداة مملة ولكنها آمنة: فهي لا تكسر أي شيء، لكنها لا تقدم أيضاً ميزة كبيرة فوق الطرق البسيطة. أما "جراح الدماغ" (LCF)، من ناحية أخرى، فهو تجربة عالية المخاطر فشلت في الوفاء بوعودها. وجد الباحثون أنه بينما تبدو فكرة تعديل تيار المنطق في الروبوت فكرة رائعة من الناحية النظرية، إلا أنها في الممارسة العملية ضعيفة جداً ومتخصصة للغاية في نوع الروبوت الذي تستخدمه لتكون حلاً موثوقاً. ولأي شخص يتطلع لجعل الذكاء الاصطناعي أكثر موثوقية في الوقت الحالي، تقترح الدراسة أن التمسك بالطريقة الأكثر أماناً وبساطة المتمثلة في مطالبة الذكاء الاصطناعي بالتفكير عدة مرات والتصويت هو الرهان الأفضل، بينما تحتاج حيل التعديل الداخلي الفاخرة إلى الكثير من العمل قبل أن يمكن الوثوق بها.
ملخص تقني: إعادة إنتاج واختبار إجهاد نهجين لموثوقية الاستدلال في النماذج اللغوية الكبيرة (LLMs)
بيان المشكلة
تُظهر النماذج اللغوية الكبيرة الحديثة أوجه قصورًا في موثوقية الاستدلال، وتحديدًا في الفشل في معايرة الثقة مع الدقة، والخلط بين المعقولية السطحية والصلاحية المنطقية. وهناك طريقتان حديثتان مقترحتان لمعالجة هذه المشكلات: RPC (Zhou et al., 2025)، والتي تجمع احتمالات الرموز (tokens) والاتساق الذاتي عند الاستنتاج، و LCF (Wu et al., 2025)، التي تدرب أجهزة عرض (projectors) لفصل فضاءات "المحتوى" و"المنطق" في تيار المتبقي (residual stream)، وتعديل متجه المنطق نحو منطقة صالحة.
تتمثل المشكلة الجوهرية التي تعالجها هذه الدراسة في غياب التحقق المستقل لهذه الادعاءات. فقد أُجريت تقييمات RPC حصريًا من قبل مؤلفيها على مجموعة ثابتة من النماذج، بينما لم تصدر LCF أي كود برمجي عام، مما يجعل فرضيتها المركزية — وجود اتجاه منطقي قابل للتحكم — غير قابلة للتحقق. علاوة على ذلك، لم يتم اختبار أي من الطريقتين تحت ضغط عبر مجالات أو بنيات نماذج متنوعة لتحديد ما إذا كانت مكاسب الموثوقية المسجلة هي نتائج حقيقية أم مجرد نواتج لإعدادات تجريبية محددة.
المنهجية
تستخدم الدراسة إطار عمل صارم لإعادة الإنتاج، حيث تعامل كل مكسب موثوقية مسجل لكل طريقة كفرضية يجب إعادة اختبارها تحت تنفيذ مستقل عبر نماذج ومجالات متعددة.
1. RPC (تجميع الاحتمالات وقت الاختبار)
إعادة الإنتاج: أعاد المؤلفون تشغيل منطق التجميع المنشور لـ RPC على مسارات الاستدلال التي أصدرها المؤلفون الأصليون لأربعة معايير رياضية (MATH, Math-Odyssey, Olympiad-Bench, AIME).
التوسيع: تم توسيع الطريقة لتشمل أربعة مجالات جديدة: تحويل النص إلى SQL (BIRD)، استخراج الاستشهادات القانونية (KO-VER)، تقييم السوابق (KCC)، وتحديد المغالطات (LFUD).
اختبار الإجهاد: أُجريت دراسة ميزانية العينة على BIRD، عبر تغيير عدد السلاسل التي تم أخذ عينات منها (K) من 8 إلى 32 لعزل الحالات التي تتفوق فيها RPC على الاتساق الذاتي (SC) القياسي.
المقارنة المرجعية: تمت مقارنة RPC مع الاتساق الذاتي (تصويت الأغلبية) والارتباك (Perplexity - PPL) للاختيار.
2. LCF (تعديل تمثيل المنطق)
إعادة التنفيذ: نظرًا لعدم توفر كود LCF، أعاد المؤلفون تنفيذ خط الأنابيب (pipeline) بالكامل من الصفر: تدريب أجهزة العرض لتقسيم الحالات المخفية إلى متجهات محتوى ومنطق، ومفكك ترميز بآلية الانتباه المتقاطع لإعادة البناء، وهدف تباين InfoNCE.
التدخل: عند الاستنتاج، يتم إزاحة متجه المنطق نحو منطقة "صالحة" باستخدام معامل قياس η ثم يُعاد فك تشفيره إلى التيار المتبقي.
الاستبدالات: نظرًا لعدم إصدار مميز الصلاحية (validity discriminator) الخاص بالورقة الأصلية، استبدله المؤلفون بمحكم GPT-4 قابل للتدقيق ومصنف DistilBERT، مع تحديد الحالات التي تؤثر فيها هذه الاستبدالات على المقاييس.
محاولة استقلال النموذج: حاولت الدراسة استبدال جهاز عرض LCF المدرب بنهج "إضافة التنشيط التبايني" (CAA) الخالي من التدريب مع بوابة شرطية (K-CAST)، واختباره على مهمة تحديد المغالطات ومهمة قياس منطقي محكومة.
الاستقصاء: استُخدم مسبار خطي لقياس مدى قابلية الفصل بين الاستنتاجات الصالحة وغير الصالحة في الحالات المخفية، ومقارنة إشارة المنطق مع ضابط دلالي (كشف مخاطر الانتحار).
النتائج الرئيسية
RPC: إعادة إنتاج دقيقة، تعميم محدود
الشبكة الأصلية: على مسارات الرياضيات التي أصدرها المؤلفون، أعادت RPC إنتاج النتائج الأصلية بدقة (الدقة: 26.15% مقابل 26.11% المسجلة؛ ECE: 12.32% مقابل 12.37% المسجلة)، مما يؤكد سلامة تنفيذ الطريقة.
المجالات الجديدة: عبر أربعة مجالات جديدة (BIRD, KO-VER, KCC, LFUD) مع ميزانية عينة صغيرة (K=8)، لم تظهر RPC أي ميزة ذات دلالة إحصائية على الاتساق الذاتي (الزوجي p≥0.28). لقد تساوت مع SC في معظم الحالات.
توسع الميزانية: في BIRD، نمت ميزة RPC على SC مع زيادة ميزانية العينة، لتصل إلى +2.5% في الدقة عند K=32. ومع ذلك، لم تكن هذه الفجوة ذات دلالة إحصائية (p=0.16) واعتمدت على عنصرين فقط من أصل 80. وعندما تم توسيع حجم العينة إلى n=200، انعكست الميزة إلى −0.25% (p=0.85)، مما يشير إلى أن المكسب الأصلي كان مجرد تقلب ناتج عن صغر حجم العينة.
الاستنتاج: RPC هي تدخل آمن لا يقلل الأداء بشكل كبير أبدًا، لكنه لا يقدم أي مكسب معتبر في الموثوقية مقارنة بالاتساق الذاتي القياسي في المجالات المختبرة.
LCF: إشارة ضعيفة، تحكم سيئ، واعتماد على النموذج
اتجاه صلاحية المنطق: أكد مسبار خطي وجود اتجاه لصلاحية المنطق، لكنه ضعيف. حقق قدرة فصل بلغت 0.82 عند أفضل طبقة فرعية واحدة (مقارنة بـ 0.95 لخاصية دلالية ضابطة)، لكنه انهار إلى مستوى الصدفة (0.52) عند تجميعه عبر الطبقات التي عدلتها LCF.
فشل التدخل: فشل التدخل الجمعي (إزاحة متجه المنطق) في تحقيق مكاسب متسقة.
Qwen3-8B: أظهر زيادة غير معتبرة إحصائيًا في ΔProb (هامش الاحتمالية للخيار الصالح) من 6.11 إلى 7.83 (p=0.56).
Llama-2 & Mistral: أدى التدخل إلى تدهور الأداء بشكل كبير، حيث قلل ΔProb بمقدار 8.1 و 11.0 نقطة على التوالي (p<0.001 و p=0.002).
Vicuna: أظهر انخفاضًا حديًا غير معتبر إحصائيًا.
التعميم: لم تنتقل التأثيرات الإيجابية على Qwen3 إلى معايير المنطق العامة (FOLIO)، حيث أدت إلى تدهور الأداء.
محاولات استقلال النموذج: فشل التوجيه التبايني الخالي من التدريب (K-CAST) في مهمة المغالطات، مما أدى لتدهور النموذجين. ونجح فقط في مهمة قياس منطقي محكومة تحت ظروف ضيقة (تطابق التوزيع، استبعاد المحتوى بدلًا من إضافة الصلاحية، وفقط على نموذج قادر بالفعل على المهمة).
موثوقية المقاييس: ادعاء الورقة الأصلية بشأن التحكم في الصلاحية بنسبة 96.56% اعتمد على مميز غير منشور. أظهر البديل القابل للتدقيق الذي استخدمه المؤلفون عدم وجود مكسب، ولم يمكن إعادة إنتاج المقياس الأصلي.
الأهمية والادعاءات
تخلص الورقة إلى وجود عدم تماثل جوهري بين النهجين:
RPC (التجميع وقت الاختبار): هذه الطريقة تُعاد إنتاجها بدقة وهي قوية؛ فهي لم تقلل الدقة بشكل كبير أبدًا عبر أي مجال تم اختباره. ورغم أن تفوقها على الاتساق الذاتي في المجالات الجديدة لم يصل إلى الدلالة الإحصائية، إلا أنها تمثل تدخلًا آمنًا وعديم التكلفة يتوافق مع الشروط النظرية المسبقة (كفاية الميزانية، وتنوع الإجابات).
LCF (تعديل التمثيل): هذه الطريقة لا تُعاد إنتاجها كتدخل موثوق ومستقل عن النموذج. إشارة صلاحية المنطق حقيقية لكنها ضعيفة ومشفرة محليًا، مما يجعل من الصعب التحكم فيها عبر التدخلات الجمعية. المكاسب المسجلة تعتمد على النموذج (لوحظت فقط في Qwen3، وحتى هناك، لم تكن ذات دلالة إحصائية) وغالبًا ما تكون ضارة للنماذج الأخرى. كما أن ادعاءات الموثوقية الرئيسية تعتمد على مكونات غير قابلة للتدقيق.
الخلاصة النهائية: بناءً على الأدلة من نماذج 7-8B ومجموعات التقييم الصغيرة، فإن التجميع وقت الاختبار (RPC) هو الآلية الأكثر موثوقية لتحسين موثوقية الاستدلال، بينما تفشل عملية تعديل التمثيل المنطقي (LCF) في التعميم وتؤدي إلى مخاطر كبيرة في تدهور الأداء. تؤكد الدراسة أن مكاسب الموثوقية التي يبلغ عنها مؤلفو الطريقة فقط يجب أن تُعامل كفرضيات حتى يتم التحقق منها بشكل مستقل عبر النماذج والمجالات.