Lingxiao Tang, He Ye, Zhaoyang Chu, Muyang Ye, Zhongxin Liu 0002, Xiaoxue Ren, Lingfeng Bao. ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning. In Maria Liakata, Viviane P. Moreira, Jiajun Zhang 0001, David Jurgens, editors, Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2026, San Diego, California, United States, July 2-7, 2026. pages 13850-13875, Association for Computational Linguistics, 2026. [doi]
Abstract is missing.