Berkeley RDI：Blog（AI 安全与评测）·· 15 小时前AI 评分56
UC Berkeley 等发布 Vero 基准：评测 AI 智能体能否构建形式化验证的软件仓库
Vero: Can AI Agents Build Formally Verified Software Repositories? September 01, 2026
AI 导读
Berkeley RDI 等机构发布 Vero 基准，要求 AI 智能体在仓库级同时编写实现与 Lean 4 证明，包含 43 个多模块实例、743 个评分 API 和 2,705 条形式化规范。
来源：Berkeley RDI：Blog（AI 安全与评测） · rdi.berkeley.edu