@misc{indiciaeb2c56cb8f528,
  title = {PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification},
  author = {Yujie Zhao and Zhijing Wu and Boqin Yuan and Zhongming Yu and Hejia Zhang and Wentao Ni and Chia-Tung Ho and Haoxing Ren and Jishen Zhao},
  year = {2025},
  url = {https://arxiv.org/abs/2506.12200},
  note = {Source identifier: 2506.12200}
}