2 papers
cs.SE2026
ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
Lingxiao Tang, He Ye, Zhaoyang Chu +4
Code LLMs still struggle with code execution reasoning, especially in smaller models. Existing methods rely on supervised fine-tuning (SFT) with teacher-generated explanations, pri…
cs.SE2026
Prometheus: Towards Long-Horizon Codebase Navigation for Repository-Level Problem Solving
Yue Pan, Zimin Chen, Siyu Lu +8
Large Language Models (LLMs) have shown remarkable capabilities in automating software engineering tasks, spurring the emergence of coding agents that scaffold LLMs with external t…