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