UC Berkeley 发布 Vero 基准
UC Berkeley 团队发布 Vero 基准：测试 AI 智能体能否构建形式化验证的软件仓库
24 HOURS
本事件热度走势
当前热度 27峰值 29（9月2日 11:47）近24小时变化 —
移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。
TIMELINE
1 条公开报道 · 官方一手 1 条 · 最新在前报道时间线
- UC Berkeley 团队发布 Vero 基准：测试 AI 智能体能否构建形式化验证的软件仓库
UC Berkeley 等机构发布 Vero，据称是首个要求智能体在仓库级同时编写实现与证明的基准，含 43 个多模块 Lean 4 实例、743 个计分 API 和 2705 条形式化规范。