TY  - RPRT
TI  - ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
AU  - Lingxiao Tang
AU  - He Ye
AU  - Zhaoyang Chu
AU  - Muyang Ye
AU  - Zhongxin Liu
AU  - Xiaoxue Ren
AU  - Lingfeng Bao
PY  - 2026
UR  - https://arxiv.org/abs/2603.11226
ID  - 2603.11226
ER  -