TY  - RPRT
TI  - Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
AU  - Chuanhao Yan
AU  - Fengdi Che
AU  - Xuhan Huang
AU  - Xu Xu
AU  - Xin Li
AU  - Yizhi Li
AU  - Xingwei Qu
AU  - Jingzhe Shi
AU  - Chenghua Lin
AU  - Yaodong Yang
AU  - Binhang Yuan
AU  - Hang Zhao
AU  - Yu Qiao
AU  - Bowen Zhou
AU  - Jie Fu
PY  - 2026
UR  - https://arxiv.org/abs/2507.16331
ID  - 2507.16331
ER  -