@misc{indiciae60cf0a9eb88c,
  title = {Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny},
  author = {Chuanhao Yan and Fengdi Che and Xuhan Huang and Xu Xu and Xin Li and Yizhi Li and Xingwei Qu and Jingzhe Shi and Chenghua Lin and Yaodong Yang and Binhang Yuan and Hang Zhao and Yu Qiao and Bowen Zhou and Jie Fu},
  year = {2026},
  url = {https://arxiv.org/abs/2507.16331},
  note = {Source identifier: 2507.16331}
}