Verifier-Guided Code Translation via Meta-Step Decoding
تقدم هذه الورقة "التحقق أثناء وقت فك التشفير" (DTV)، وهو إطار عمل يدمج توليد الكود مع فحوصات الحدود الهيكلية والمحققات لمنع انتشار الأخطاء، مما يحسن دقة الترجمة وكفاءة الرموز بشكل كبير مقارنة بالنماذج المرجعية القائمة على التحقق البعدي أو التحسين الذاتي.