Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis
تقترح هذه الورقة "التفسير الوكيل" (agentic interpretation)، وهو إطار عمل يطبق مبادئ التحليل الساكن القائم على الشبكة (lattice-based static analysis) على الاستدلال البرمجي المدفوع بالنماذج اللغوية الكبيرة (LLM) من خلال تفكيك أهداف التحليل إلى ادعاءات محلية يتم تتبعها ضمن شبكة ذات ارتفاع محدد، مما يتيح تحليلاً برمجياً أكثر متانة وقائماً على الأدلة وتكرارياً مقارنة بالنهج أحادي المحاولة الهش.