The resources of Re:Form - Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs.
-
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
Paper • 2507.16331 • Published • 22 -
Veri-Code/ReForm-Python2Dafny-Dataset
Viewer • Updated • 17.5k • 227 • 2 -
Veri-Code/ReForm-DafnyComp-Benchmark
Viewer • Updated • 300 • 53 • 1 -
Veri-Code/ReForm-14B-RL-entropy
Text Generation • 15B • Updated • 7 • 2