Papers10:35
Chinese contentAxDafny：Dafny 中的智能体验证代码生成想搞形式化验证代码生成？这篇论文的 AxDafny 用验证器做迭代修复，把 Dafny 编程题的验证成功拉到 92.7%，比之前的最好方法还高 6.5 个百分点。
#Dafny
1 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "Dafny", newest first.
Jul 1
想搞形式化验证代码生成？这篇论文的 AxDafny 用验证器做迭代修复，把 Dafny 编程题的验证成功拉到 92.7%，比之前的最好方法还高 6.5 个百分点。