ExecuCritic: Calibrated Critic Shaping for Code Generation with Verifiable Rewards

Junjie Cao, Yingjie He

Execution feedback is a useful supervision signal for code models because unit tests are objective and directly measure program correctness. Its weakness is that an entire program…