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
Recent Activity
updated a model about 24 hours ago
FengdiFlo/Monte-Carlo-Q published a model 9 days ago
FengdiFlo/Monte-Carlo-Q updated a dataset 12 days ago
FengdiFlo/DeepScaleR-SplitOrganizations
None yet
authored a
paper 10 months ago