AI圈报
论文研究精选

Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明

信息来源:Anthropic:Research(发表成果 · 网页)·
原始标题:LLMs are making formal software verification feasible at a much larger scale

内容摘要

Anthropic 与 Theorem 合作,用 Claude 将 OSS-Fuzz 模糊测试转化为规格,对 123 个开源库的 239 个入口点证明了任意 64 MB 以下输入不崩溃,生成约 1.8 亿行 Rocq 证明。
内容分类AI 论文与研究
内容层级精选情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源Anthropic:Research(发表成果 · 网页)
站内情报编号intel-d6259af70b2949ed728c98f6