2025-11-18T14:37:13.937958

Systematic Diagnosis of Brittle Reasoning in Large Language Models

Parupudi
A central question in artificial intelligence is the extent to which machine learning models comprehend mathematics. To address this, we propose a novel framework for measuring mathematical reasoning that moves beyond standard benchmarks to diagnose specific failure points. Our method first generates structured, step-by-step reasoning from gpt-3.5-turbo on the GSM8K dataset. We then use a more capable analyst model, gpt-4o-mini, to categorize errors and, crucially, perform an unsupervised clustering of every reasoning sentence to identify emergent "reasoning modes." This analysis reveals a cognitive profile with a stark, nonhuman-like brittleness: while the model achieves near-perfect accuracy on procedural modes like sequential calculation, its performance on modes requiring combinatorial reasoning with restrictions plummets. By identifying and quantifying the reliability of these distinct reasoning skills, our work provides a more granular method to evaluate mathematical comprehension and offers a precise roadmap for developing new capabilities and more reliable future applications.
academic

التشخيص المنهجي للاستدلال الهش في نماذج اللغة الكبيرة

المعلومات الأساسية

  • معرّف الورقة: 2510.08595
  • العنوان: التشخيص المنهجي للاستدلال الهش في نماذج اللغة الكبيرة
  • المؤلف: V. S. Raghu Parupudi (جامعة كاليفورنيا، سان دييغو)
  • التصنيف: cs.CL (الحوسبة واللغة)
  • مؤتمر النشر: المؤتمر الـ 39 حول أنظمة معالجة المعلومات العصبية (NeurIPS 2025) ورشة عمل: MATH-AI
  • رابط الورقة: https://arxiv.org/abs/2510.08595v1

الملخص

تُعتبر درجة فهم نماذج التعلم الآلي للرياضيات من الأسئلة الأساسية في مجال الذكاء الاصطناعي. لمعالجة هذه المشكلة، تقترح هذه الورقة إطار عمل جديد لقياس قدرات الاستدلال الرياضي يتجاوز الاختبارات المعيارية التقليدية، مما يتيح تشخيص نقاط الفشل المحددة. تبدأ الطريقة بإنشاء استدلال منظم خطوة بخطوة من GPT-3.5-turbo على مجموعة بيانات GSM8K، ثم تستخدم نموذج تحليل أقوى وهو GPT-4o-mini لتصنيف الأخطاء، وتنفذ تجميعاً غير موجه على كل جملة استدلال لتحديد "أنماط الاستدلال" الناشئة. يكشف التحليل عن ملف تعريف معرفي يتميز بهشاشة واضحة غير بشرية: بينما يحقق النموذج دقة قريبة من الكمال في الأنماط الإجرائية مثل الحسابات المتسلسلة، يحدث انخفاض حاد في الأداء على الأنماط التي تتطلب استدلالاً توليفياً وقيوداً.

خلفية البحث والدافع

تعريف المشكلة

المشكلة الأساسية التي يسعى هذا البحث لحلها هي: كيفية تشخيص الأنماط المحددة للفشل في الاستدلال الرياضي لنماذج اللغة الكبيرة بشكل منهجي. على الرغم من أن نماذج اللغة الكبيرة (LLMs) حققت تقدماً ملحوظاً في مهام الاستدلال الرياضي، فإن طرق التقييم الحالية تركز بشكل أساسي على صحة الإجابة النهائية، وتفتقر إلى تحليل متعمق لنقاط الفشل المحددة في عملية الاستدلال.

أهمية المشكلة

  1. موثوقية الاستدلال: حتى النماذج المتقدمة المدربة بإشراف العملية تنتج أخطاء منطقية بشكل منتظم
  2. غياب التشخيص: يفتقر المجال إلى إطار عمل منهجي وقابل للتوسع لتشخيص أنماط الفشل المستمرة
  3. متطلبات التطبيق: تتطلب التطبيقات العملية فهم متى وأين يفشل النموذج وسبب الفشل

حدود الطرق الموجودة

  1. التقييم الخشن: تركز الاختبارات المعيارية الموجودة بشكل أساسي على دقة المستوى الكلي للمهمة، وغير قادرة على توفير تشخيص معرفي دقيق
  2. نقص المنهجية: غياب طرق آلية وبعدية لتشخيص فشل الاستدلال
  3. عدم كفاية تحديد الأنماط: عدم القدرة على تحديد وتقدير موثوقية مهارات الاستدلال المختلفة

المساهمات الأساسية

  1. اقتراح إطار عمل تشخيصي جديد: تطوير نظام تشخيص فشل استدلال آلي وبعدي
  2. اكتشاف أنماط الاستدلال: تحديد "أنماط الاستدلال" المختلفة من خلال التجميع غير الموجه وتقدير موثوقيتها
  3. الكشف عن الهشاشة المعرفية: اكتشاف خصائص هشاشة غير بشرية في استدلال نماذج اللغة الكبيرة - إظهار ثنائية قطبية متطرفة (نجاح 100% مقابل فشل 0%) على المفاهيم الرياضية ذات الصلة
  4. توفير خريطة طريق تحسين دقيقة: توفير جدول أعمال يعتمد على البيانات لتطوير نماذج أكثر موثوقية

شرح الطريقة

تعريف المهمة

الإدخال: مسائل رياضية من GSM8K الإخراج: تحليل تشخيصي لمسارات الاستدلال المنظمة، بما في ذلك تصنيف الفشل وتقييم موثوقية أنماط الاستدلال الهدف: تحديد وتقدير أنماط الفشل المحددة في الاستدلال الرياضي لنماذج اللغة الكبيرة

معمارية النموذج

خط أنابيب التحليل ثلاثي المستويات

  1. نموذج المولد: GPT-3.5-turbo-1106 لإنشاء مسارات استدلال منظمة
  2. نموذج التضمين: text-embedding-3-large لإنشاء تضمينات الجمل
  3. نموذج المحلل: GPT-4o-mini لتصنيف الأخطاء والتعليقات على التجميع

تدفق الطريقة الأساسي

الخطوة 1: إنشاء الاستدلال المنظم

  • فرض تنسيق JSON على النموذج لإخراج استدلال خطوة بخطوة والإجابة النهائية
  • ضبط درجة الحرارة على 0.0 لضمان إخراج حتمي

الخطوة 2: التشخيص الآلي

  • يفحص نموذج المحلل برمجياً كل مسار فشل
  • تحديد وتصنيف أول نقطة فشل

الخطوة 3: تحليل تجميع أنماط الاستدلال

  • تحويل جميع جمل الاستدلال إلى متجهات عالية الأبعاد (text-embedding-3-large)
  • معالجة التطبيع L2 على متجهات التضمين
  • استخدام خوارزمية HDBSCAN للتجميع غير الموجه
  • إنشاء تسميات التجميع تلقائياً بواسطة GPT-4o-mini

الخطوة 4: تقدير الموثوقية

  • بناءً على التعليقات الثنائية على مستوى المسار (صحيح/خاطئ)
  • حساب "معدل الصحة" لكل تجميع (نسبة الجمل من مسارات الاستدلال الناجحة)
  • استخدام اختبار Fisher الدقيق للتحقق من الأهمية الإحصائية

نقاط الابتكار التقني

  1. آلية العقوبة على مستوى المسار: أي خطأ واحد يجعل مسار الاستدلال بأكمله غير صالح، مما يوفر إشارة إحصائية ثنائية واضحة
  2. اكتشاف الأنماط غير الموجه: اكتشاف تلقائي لأنماط الاستدلال الناشئة من خلال التجميع بدلاً من الفئات المحددة مسبقاً
  3. التعاون بين نماذج متعددة: الاستفادة من نماذج بقدرات مختلفة للعمل بتقسيم العمل (الإنشاء والتضمين والتحليل)
  4. التحقق الإحصائي: استخدام اختبار Fisher الدقيق لضمان أن الأنماط المكتشفة ذات أهمية إحصائية

إعداد التجربة

مجموعة البيانات

  • مصدر البيانات: عينة عشوائية من مجموعة تدريب GSM8K
  • حجم العينة: 1000 مسألة
  • طريقة الأخذ: بذرة عشوائية ثابتة لضمان قابلية التكرار

مؤشرات التقييم

  • دقة المستوى الكلي: صحة الإجابة النهائية
  • دقة التجميع: نسبة الجمل من مسارات الاستدلال الناجحة في كل تجميع نمط استدلال
  • الأهمية الإحصائية: اختبار Fisher الدقيق (p < 0.05)

تفاصيل التنفيذ

  • إعدادات النموذج: جميع النماذج بدرجة حرارة 0.0
  • خوارزمية التجميع: تطبيق HDBSCAN مباشرة على التضمينات المعايرة عالية الأبعاد
  • مقارنة الأساس: دقة 84.9% على مستوى المشكلة كأساس لدقة مستوى الجملة

نتائج التجربة

النتائج الرئيسية

الأداء الإجمالي

  • الدقة الإجمالية: 84.9% (849/1000)
  • حالات الفشل: 151 استجابة خاطئة للتحليل التفصيلي

تصنيف الأخطاء على مستوى عالي

فئة الخطأالعددالنسبة المئوية
أخطاء الاستدلال7549.7%
أخطاء الحساب5033.1%
أخطاء سوء الفهم1711.3%
غير مصنفة53.3%
الاختلاق الحقائقي42.6%

تحليل موثوقية أنماط الاستدلال

أنماط عالية الموثوقية (قريبة من الكمال):

  • التجميع 172: حساب التكلفة الإجمالية للعناصر - معدل صحة 100.0%
  • التجميع 47: خطوات الحساب المتسلسلة - معدل صحة 100.0%
  • التجميع 171: حساب التكلفة الإجمالية أو الربح - معدل صحة 95.1%

أنماط الاستدلال الضعيفة (فشل كبير):

  • التجميع 11: حساب التوليفات مع القيود - معدل صحة 0.0%
  • التجميع 93: الاستبدال وتبسيط المعادلات - معدل صحة 27.3%
  • التجميع 60: حساب وتقريب الوقت أو الكمية - معدل صحة 27.3%

الاكتشافات الرئيسية

خصائص الهشاشة المعرفية

  1. الثنائية القطبية المتطرفة: إظهار تناقض متطرف بين النجاح 100% والفشل 0% على المفاهيم الرياضية ذات الصلة
  2. الإجرائي مقابل التوليفي: المهام الإجرائية (مثل الحسابات المتسلسلة) قريبة من الكمال، والمهام التوليفية فاشلة تماماً
  3. أنماط معرفية غير بشرية: هذه الثنائية القطبية الشديدة بين النجاح والفشل تختلف بشكل كبير عن أنماط التعلم البشري

التحقق الإحصائي

اجتازت جميع التجميعات البارزة اختبار Fisher الدقيق (p < 0.05)، مما يؤكد أن الأداء المرصودة ليست نتيجة الصدفة العشوائية.

الأعمال ذات الصلة

إنشاء مسارات الاستدلال والإشراف عليها

  1. طريقة سلسلة الأفكار (CoT): تحسين أداء الاستدلال الرياضي بشكل كبير من خلال الخطوات الوسيطة
  2. إطار عمل شجرة الأفكار (ToT): السماح باستكشاف مسارات استدلال متعددة والتقييم الذاتي
  3. الإشراف على العملية: أثبت Lightman وآخرون أن توفير تعليقات على كل خطوة وسيطة أكثر فعالية من الإشراف على النتيجة النهائية فقط

نموذج اللغة الكبيرة كمقيّم

  1. LLM-as-a-Judge: اكتشف Zheng وآخرون أن النماذج القوية مثل GPT-4 تحقق توافقاً بنسبة 80% أو أكثر مع تفضيلات الإنسان في المهام المفتوحة
  2. أطر التحسين الذاتي: استخدام نموذج لغة واحد لإنشاء إخراج أولي وتقديم تعليقات وتحسين الإخراج

الخلاصة والمناقشة

الاستنتاجات الرئيسية

  1. اكتشاف الهشاشة المنهجية: تُظهر نماذج اللغة الكبيرة هشاشة معرفية غير بشرية في الاستدلال الرياضي
  2. تحديد أنماط الفشل الحرجة: الاستدلال التوليفي ومعالجة القيود هي نقاط الضعف الرئيسية
  3. توفير أداة تشخيصية: تطوير إطار عمل قابل للتوسع لتشخيص فشل الاستدلال

القيود

  1. قيود النموذج الواحد: يقتصر التحليل على نموذج مولد واحد وهو GPT-3.5-turbo
  2. نطاق مجموعة البيانات: استخدام مجموعة بيانات GSM8K فقط قد يحد من قابلية التعميم
  3. الاعتماد على المحلل: يعتمد التشخيص على محلل LLM، وتحتاج دقة حكمه إلى التحقق الإضافي
  4. قيود الموارد: عدم إجراء تحليل أوسع عبر النماذج بسبب قيود الموارد

الاتجاهات المستقبلية

  1. التحليل عبر النماذج: تطبيق خط الأنابيب على نماذج متقدمة متعددة (GPT-4 و Claude 3 و Gemini 1.5)
  2. توسيع المجال: التوسع إلى مجالات استدلال أكثر تعقيداً
  3. التحسين في حلقة مغلقة: استخدام التجميعات الضعيفة المحددة للضبط الدقيق الموجه للتحقق من إمكانية إصلاح عيوب الاستدلال المحددة

التقييم المتعمق

المميزات

  1. ابتكار الطريقة قوي: أول إطار عمل منهجي لتشخيص أنماط الاستدلال
  2. الاكتشافات ذات رؤية عميقة: الكشف عن خصائص الهشاشة المعرفية غير البشرية لنماذج اللغة الكبيرة
  3. تصميم التجربة صارم: استخدام الاختبارات الإحصائية للتحقق من أهمية الاكتشافات
  4. قيمة عملية عالية: توفير إرشادات دقيقة تعتمد على البيانات لتحسين النموذج

أوجه القصور

  1. حجم العينة محدود: قد لا تكون 1000 عينة كافية لتمثيل جميع أنماط الاستدلال بشكل كامل
  2. الاعتماد على النموذج: الاعتماد المفرط على نماذج OpenAI المحددة قد يؤثر على قابلية التعميم
  3. قابلية تفسير التجميع: تحتاج قابلية تفسير واستقرار نتائج تجميع HDBSCAN إلى التحقق الإضافي
  4. غياب المقارنة البشرية: عدم وجود مقارنة مباشرة مع أنماط الاستدلال البشري

التأثير

  1. المساهمة النظرية: توفير إطار عمل نظري جديد لفهم قدرات الاستدلال الرياضي لنماذج اللغة الكبيرة
  2. الإرشادات العملية: توفير اتجاهات محددة لتدريب النموذج والتحسين
  3. القيمة المنهجية: يمكن تطبيق إطار التشخيص على مهام استدلال أخرى ونماذج

السيناريوهات المعمول بها

  1. تقييم النموذج: توفير تقييم دقيق لقدرات الاستدلال الرياضي لنماذج اللغة الكبيرة
  2. تحسين التدريب: توجيه التدريب الموجه والتعزيز البيانات للنموذج
  3. نشر التطبيق: مساعدة في تحديد موثوقية النموذج في سيناريوهات استدلال محددة
  4. أداة البحث: توفير أداة تشخيصية موحدة لبحث قدرات الاستدلال

المراجع

  1. Campello, R. J. G. B., Moulavi, D., & Sander, J. (2013). التجميع القائم على الكثافة بناءً على تقديرات الكثافة الهرمية.
  2. Cobbe, K., وآخرون (2021). تدريب المدققين لحل مسائل الكلمات الرياضية.
  3. Lightman, H., وآخرون (2023). دعونا نتحقق خطوة بخطوة.
  4. Wei, J., وآخرون (2022). سلسلة الأفكار التي تستحث الاستدلال في نماذج اللغة الكبيرة.
  5. Yao, S., وآخرون (2023). شجرة الأفكار: حل المشاكل المتعمد مع نماذج اللغة الكبيرة.

التقييم الإجمالي: هذه ورقة ذات قيمة نظرية وعملية مهمة، وهي الأولى التي تشخص بشكل منهجي أنماط الهشاشة في الاستدلال الرياضي لنماذج اللغة الكبيرة. على الرغم من وجود قيود في حجم التجربة وتغطية النموذج، فإن إطار العمل التشخيصي المقترح والخصائص الهشاشة المعرفية المكتشفة توفر رؤى مهمة لفهم وتحسين قدرات الاستدلال لنماذج اللغة الكبيرة. يجعل الابتكار المنهجي والقيمة العملية للورقة ذات تأثير مهم في مجال بحث الاستدلال في الذكاء الاصطناعي.