ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning.

Lingxiao Tang, He Ye, Zhaoyang Chu, Muyang Ye, Zhongxin Liu, Xiaoxue Ren, Lingfeng Bao

Browse the full ACL paper archive.