Variation in Verification: Understanding Verification Dynamics in Large Language Models
تحلل هذه الورقة بشكل منهجي ديناميكيات أدوات التحقق التوليدية في توسيع نطاق وقت الاختبار عبر 12 معياراً و14 نموذجاً، كاشفةً أن فعالية التحقق تعتمد على صعوبة المشكلة وقوة المولد، ومثبتةً أن الاقتران الاستراتيجي بين أدوات التحقق والمولدات يمكن أن يقلص فجوات الأداء بشكل كبير أو يكشف عن حدود جوهرية لمكاسب التحقق.