Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs — A Preliminary Study on Dafny
Release time:2026-08-26
Hits:
- Journal:
- ICLR, 2026
- Abstract:
- Chuanhao Yan, Fengdi Che, Xuhan Huang, et al., Bowen Zhou†, Jie Fu†.
- Note:
- Formal Verification RL-guided LLMs for automated formal verification of software correctness
- Translation or Not:
- no
- Links to published journals:
- https://arxiv.org/abs/2507.16331