Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis
यह शोध पत्र "एजेंटिक इंटरप्रिटेशन" (agentic interpretation) प्रस्तावित करता है, जो एक ऐसा ढांचा है जो विश्लेषण लक्ष्यों को एक सीमित-ऊंचाई वाले लैटिस (lattice) के भीतर ट्रैक किए गए स्थानीय दावों में विभाजित करके, एलएलएम-संचालित प्रोग्राम रीजनिंग पर लैटिस-आधारित स्टैटिक एनालिसिस सिद्धांतों को लागू करता है, जिससे भंगुर वन-शॉट दृष्टिकोणों की तुलना में अधिक सुदृढ़, साक्ष्य-आधारित और पुनरावृत्तिपूर्ण प्रोग्राम विश्लेषण सक्षम होता है।