@misc{indiciae220e40b26b6b,
  title = {VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation},
  author = {Yiting Wang and Guoheng Sun and Wanghao Ye and Gang Qu and Ang Li},
  year = {2025},
  url = {https://arxiv.org/abs/2505.11849},
  note = {Source identifier: 2505.11849}
}