The Path Not Taken: Duality in Reasoning about Program Execution
تقدم هذه الورقة DexBench، وهو معيار اختبار صُمم لتقييم الفهم الديناميكي للأكواد البرمجية لدى النماذج اللغوية الكبيرة من خلال تقييم قدرتها على الاستنتاج حول تنفيذ البرامج عبر مهمتين متكاملتين: التنبؤ بالسلوك بناءً على المدخلات، واستنتاج طفرات المدخلات لتحقيق أهداف سلوكية محددة.