يقوم الباحثون بفحص التدفقات المتبقية لنماذج الكود المدربة مسبقاً لفهم كيفية تشفير معلومات النوع داخلياً، باستخدام مجموعة بيانات متوازية من أمثلة كود Java وPython.
- تظهر تمثيلات النوع عبر اللغات حتى من الكود غير المصحوب بأنواع.
- تشفر الحالات المخفية خطياً نوع النتيجة المستنتج من تطبيق الدالة المصحوبة بنوع، مما يسمح للمسابر المدربة على لغة واحدة باستنتاج أنواع المعامل والنتيجة في لغة أخرى.
- هذا التشفير الهيكلي يكون جزئياً قوياً تجاه الاضطرابات المعجمية والتباينات النحوية عبر اللغات.
يعالج هذا العمل فجوة في أبحاث القابلية للتفسير من خلال استهداف دلالات النوع الرسمي وتمثيلات النوع عبر اللغات مباشرة، مع إطلاق الكوم ومجموعات البيانات.