论文10:35
AxDafny：Dafny 中的智能体验证代码生成想搞形式化验证代码生成？这篇论文的 AxDafny 用验证器做迭代修复，把 Dafny 编程题的验证成功拉到 92.7%，比之前的最好方法还高 6.5 个百分点。
#LCB-Pro-Dafny
共 1 条 · 7 天 0 条 · 30 天 0 条
信息流里打上「LCB-Pro-Dafny」标签的资讯、产品与论文，按刊登时间排，新的在上。
7月1日
想搞形式化验证代码生成？这篇论文的 AxDafny 用验证器做迭代修复，把 Dafny 编程题的验证成功拉到 92.7%，比之前的最好方法还高 6.5 个百分点。