@misc{indiciae0cb2b749975d,
  title = {ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning},
  author = {Lingxiao Tang and He Ye and Zhaoyang Chu and Muyang Ye and Zhongxin Liu and Xiaoxue Ren and Lingfeng Bao},
  year = {2026},
  url = {https://arxiv.org/abs/2603.11226},
  note = {Source identifier: 2603.11226}
}