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
FengdiFlo
AI & ML interests
None yet
Recent Activity
published
a dataset about 23 hours ago
FengdiFlo/VeriEquivBench upvoted a paper about 2 months ago
Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space authored
a paper
7 months ago
Re:Form -- Reducing Human Priors in Scalable Formal Software
Verification with RL in LLMs: A Preliminary Study on Dafny Organizations
None yet
authored a paper 7 months ago