Automating Formal Verification with Reinforcement Learning and Recursive Inference
用强化学习和递归推理自动化形式验证
机构 * Department of Electrical Engineering and Computer Science（电气工程与计算机科学系） ； Massachusetts Institute of Technology（麻省理工学院）
专题命中 程序分析与验证 ：repository(abstract)；分类 cs.SE、cs.LG
AI总结 研究通过可验证奖励的强化学习和验证器引导的推理搜索，提升大语言模型生成验证程序和证明的能力，在Dafny和Lean上取得显著进展。
Comments Master's thesis, 140 pages, 16 figures, 17 tables
