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(9 条相关)→
「研究」频道最新
- SubQ 开源 Decision LCR:72K-115K 长文决策基准,自研模型领先 — ryanallred · 2026-10-16
- 「特征不是神经网络基本单位」：可解释性范式之争再升温 — MoonL88537 · 2026-10-16
- FOMO-Dex 力控遥操作：机器人学会拿薄卡片、拧螺丝 — HaozhiQ · 2026-10-16
- 机制可解释性新假设：神经网络从训练第一步就开始泛化 — burny_tech · 2026-10-16
- 普林斯顿 AI 实验室启动新研究计划：确保自主系统符合人类意图 — LakeBrenden · 2026-10-16
- UbiComp 2026 论文 OrganicHAR：让传感器「发现」活动而非识别预设标签 — mynkgoel · 2026-10-16