Vero 两种任务模式：proof-only 与 code-and-proof 全覆盖要求
dawnsongtweets · x · 2026-08-23
Vero 设两种任务模式：proof-only（对给定参考实现证明所有规约）与 code-and-proof（实现每个 API 后再对自己的代码证明所有规约）。两者都要求全覆盖——任何未证明的规约都可能恰好放过它本应捕获的 bug。code-and-proof 将实现选择与证明义务耦合，实现仓库级验证代码生成的端到端评测。
所属事件:Dawn Song 团队发布首个代码库级形式化验证基准 Vero(8 条相关)→
「研究」频道最新
- Pixel32Bench：对比模型在 32×32 像素上的创作 — TheMoonMidas · 2026-08-23
- AI 加速材料发现：云实验室与模拟结合的机会 — JacquesThibs · 2026-08-23
- Marin 535B 模型启动全透明训练，公开 FLOPs 与配置 — _ScottCondron · 2026-08-23
- 开发者称 MCP 研究论文错误百出、疑部分由 AI 生成 — benfielding · 2026-08-23
- NanoGPT 速通排行榜汇总：最快训练与性能基准 — RichmanRonald · 2026-08-23
- Prompt Injection 损失极小？攻击成本降低或带来新风险 — joshua_saxe · 2026-08-23