Yan, C., Che, F., Huang, X., Xu, X., Li, X., Li, Y., . . . Fu, J. (2025). Re: Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny.
Chicago Style (17th ed.) CitationYan, Chuanhao, et al. Re: Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny. 2025.
MLA (9th ed.) CitationYan, Chuanhao, et al. Re: Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny. 2025.
Warning: These citations may not always be 100% accurate.