1
Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
用强化学习调教大模型，自动生成Dafny验证注解，大幅减少人工标注，让形式化验证更高效可行。
arXiv:2507.16331v4 Announce Type: replace Abstract: Existing informal language-based (e.g., human language) Large Language Models (LLMs) trained with …