Papers by Eshgin Hasanov
The Path Not Taken: Duality in Reasoning about Program Execution (2026.acl-long)
Copied to clipboard
| Challenge: | Existing benchmarks focus on predicting program properties tied to specific inputs, resulting in a narrow view of dynamic code reasoning and data contamination. |
| Approach: | They instantiate dual-path reasoning in a benchmark and evaluate 13 LLMs. |
| Outcome: | The proposed model provides a robust and discriminative proxy for dynamic code understanding. |