一作ACL 2026Poster· Natural Language Processing
The Path Not Taken: Duality in Reasoning about Program Execution
Eshgin Hasanov · Md Mahadi Hassan Sibat · Santu Karmaker · Aashish Yadavally
摘要
Large language models (LLMs) have shown remarkable capabilities across diverse coding tasks. However, their adoption requires a true understanding of program execution rather than relying on surface-level patterns. Existing benchmarks primarily focus on predicting program properties tied to speci...