Cite
Notes
Only stored in your browser.
Attribution
Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers
arXiv 2025
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
from 2 papers
Beibei Wang
Bernard Ghanem
Binhang Yuan
Bowen Li
Bowen Zhou
professor
Chenghua Lin
Chengxing Xie
Chengyu Fan
Chuanhao Yan
Fan Yang