@article{
yan2026reform,
title={Re:Form --- Reducing Human Priors in Scalable Formal Software Verification with {RL} in {LLM}s: 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},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2026},
url={https://openreview.net/forum?id=cAQmIS4GOe},
note={}
}