الملخص
تمت ترجمة أجزاء من هذه الصفحة آلياً وقد تحتوي على أخطاء.
تُستخدم نماذج اللغة الكبيرة (LLMs) بشكل متزايد في تحليل الثغرات البرمجية الآلي. ولا يكفي التصنيف الثنائي وحده، فالممارسون يحتاجون إلى تفسيرات لفرز الأخطاء وهندسة الترقيعات. وتعتمد الممارسة المعيارية على موجّه سلسلة التفكير (CoT)، لكن التفكير الحر يسمح للنماذج بإخفاء القفزات المنطقية وخطوات التنفيذ المتخيلة والتناقضات الداخلية وراء نثر معقول. ويكشف تدقيقنا اليدوي أن نحو 60% من الأحكام الصحيحة عن الثغرات تأتي مصحوبة بادعاءات مختلقة أو غير قابلة للتحقق، وأن التفسيرات الحرة تتيح لأخطاء الاستدلال الإفلات من تقييم LLM-as-a-judge. نقدم Vulnerability Explanation Reasoning Auditor (VERA)، وهو إطار آلي لتدقيق استدلال النماذج اللغوية على الثغرات. وبدلاً من قبول النص الحر، يطلب VERA من النماذج إخراج سجل استدلال منظم (SRR) يرمّز المؤشرات المتتبعة وعمليات الذاكرة وانتقالات الحالة في حقول قابلة للقراءة آلياً. ويدقق حكم متعدد المراحل كل SRR أمام ثمانية أنماط فشل في الاستدلال باستخدام فحوص حتمية، ولا تُستدعى نماذج اللغة إلا للتفسير الدلالي. كما يتيح مخطط SRR الموحد اختبار الطفرات آلياً لقياس الأحكام على نطاق واسع دون تعليق بشري. وتبين تقييماتنا أن أخطاء الاستدلال تقع في الأحكام الصحيحة بالتكرار نفسه تقريباً كما تقع في الأحكام الخاطئة، وأن VERA يكشف 87% من أخطاء الاستدلال التي يفوّتها نظام LLM-as-a-judge الحر بانتظام.
الكلمات المفتاحية
الموضوع
بيانات النشر
- المجلة
- غير متاح
- وصول مفتوح
- وصول مفتوح أخضر
اقتبس هذه المقالة
APA 7
Hu, B. C., Ahir, K., Ni, R., & Jia, L. (2026). أحكام صحيحة واستدلال معيب: تدقيق منظم لاستدلال الثغرات القائم على النماذج اللغوية الكبيرة. https://omanscience.com/ar/articles/correct-verdicts-flawed-reasoning-structured-auditing-of-llm-based-vulnerability-reasoning
MLA 9
Hu, Boyue Caroline, et al. "أحكام صحيحة واستدلال معيب: تدقيق منظم لاستدلال الثغرات القائم على النماذج اللغوية الكبيرة." https://omanscience.com/ar/articles/correct-verdicts-flawed-reasoning-structured-auditing-of-llm-based-vulnerability-reasoning.
شيكاغو (المؤلف–التاريخ)
Hu, Boyue Caroline, Kaivalya Ahir, Ronghao Ni, and Limin Jia. 2026. "أحكام صحيحة واستدلال معيب: تدقيق منظم لاستدلال الثغرات القائم على النماذج اللغوية الكبيرة." https://omanscience.com/ar/articles/correct-verdicts-flawed-reasoning-structured-auditing-of-llm-based-vulnerability-reasoning.
هارفارد
Hu, B. C., Ahir, K., Ni, R. and Jia, L. (2026) 'أحكام صحيحة واستدلال معيب: تدقيق منظم لاستدلال الثغرات القائم على النماذج اللغوية الكبيرة', Available at: https://omanscience.com/ar/articles/correct-verdicts-flawed-reasoning-structured-auditing-of-llm-based-vulnerability-reasoning.
فانكوفر
Hu BC, Ahir K, Ni R, Jia L. أحكام صحيحة واستدلال معيب: تدقيق منظم لاستدلال الثغرات القائم على النماذج اللغوية الكبيرة. https://omanscience.com/ar/articles/correct-verdicts-flawed-reasoning-structured-auditing-of-llm-based-vulnerability-reasoning
IEEE
B. C. Hu, K. Ahir, R. Ni, and L. Jia, "أحكام صحيحة واستدلال معيب: تدقيق منظم لاستدلال الثغرات القائم على النماذج اللغوية الكبيرة," https://omanscience.com/ar/articles/correct-verdicts-flawed-reasoning-structured-auditing-of-llm-based-vulnerability-reasoning.