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