斯坦福 SVIL 峰会聚焦 Lean 软件验证,Lean 证明一年增长三个数量级
AlexKontorovich · x · 2026-11-07
- Beneficial AI Foundation 与 Lean FRO 联合主办的 SVIL 2026 秋季会议将于 11 月 7 日在斯坦福举行,主题是用 Lean 定理证明器推进软件形式验证走向生产级使用,重点覆盖安全关键系统的端到端验证与 Secure Stack 计划。
- 议程包括 Max Tegmark 团队分享 Signal Shot 项目自 2026 年 4 月上线以来的经验,以及基于 seL4 微内核构建经验证软件栈的 Secure Stack 计划;Leonardo de Moura 将讲「Scaling Lean for AI」——过去 12 个月 Lean 证明规模增长了三个数量级。
- 其他讲者包括 Google 的 Jonathan Protzenko、Oath FRO 的 Mike Dodds、华盛顿大学的 Andres Erbsen 等。
所属事件:斯坦福将办 SVIL 峰会聚焦 Lean 软件验证(2 条相关)→
「研究」频道最新
- 「生成漂移」是不是 AI 的根本缺陷?Reddit 引发可靠性争论 — Peacefulhuman1009 · 2026-11-07
- ICLR 审稿人建议：反驳 nitpicking 要引用原文具体回击 — brunofmr · 2026-11-07
- CIKM 2026 开设 Agentic Search 教程：覆盖 RL 优化与深度研究评估 — mrdrozdov · 2026-11-07
- METR 报告被大量涂黑，但公开数据交叉验证：Anthropic 的 AI 自加速大概率属实 — ben_j_todd · 2026-11-07
- 验证过完备分布式表示的干扰预测，ICLR 新版将扩充更多模型 — Rasmic · 2026-11-07
- 「权重空间编程」会是超dstion？开发者押注它成前沿模型标配能力 — jm_alexia · 2026-11-07