TY  - RPRT
TI  - Verifier-Grounded Agentic RL for Provably Correct Code
AU  - George Ma
AU  - Yuhao Zhang
AU  - Bing He
AU  - Zeren Shui
AU  - Ferhat Erata
AU  - Murali Krishna Ramanathan
AU  - Somayeh Sojoudi
AU  - Hao Zhou
PY  - 2026
UR  - https://arxiv.org/abs/2610.19298
ID  - 2610.19298
ER  -