11:29
官方账号arXiv cs.LG@Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, Dawn Song
精选
推荐理由：Vero拿43个真实仓库考AI写代码加形式化证明，最强配置只过了27个，想看看代码生成靠谱程度的可以来测测。
Vero
共 1 条相关 AI 资讯
8月14日
11:29
Vero是首个评估仓库级联合实现与证明合成的基准，包含43个多模块实例。实例来自Python、Dafny、Verus和Coq的真实仓库，覆盖密码协议到分布式系统等领域。每个实例基于Lean 4，支持仅证明和代码加证明两种评估模式。最强智能体配置仅完整解决27/43个实例，在最高难度仓库上未闭合任何规格。