1
Automating Formal Verification with Agent-Guided Tree Search
用智能体引导树搜索，让大模型自动生成形式化验证代码，降低软件验证门槛
arXiv:2605.27485v1 Announce Type: cross Abstract: Formal verification offers a path to provably correct software, but writing verified code remains ex…