@misc{indiciae4034b1c30088,
  title = {Verifier-Grounded Agentic RL for Provably Correct Code},
  author = {George Ma and Yuhao Zhang and Bing He and Zeren Shui and Ferhat Erata and Murali Krishna Ramanathan and Somayeh Sojoudi and Hao Zhou},
  year = {2026},
  url = {https://arxiv.org/abs/2610.19298},
  note = {Source identifier: 2610.19298}
}