Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
Paper • 2507.16331 • Published • 22
Fengdi Che PRO
FengdiFlo
AI & ML interests
None yet
Organizations
None yet
authored a
paper 9 months ago