Lean 软件验证大会 SVIL 11 月落地斯坦福,Tegmark 与 Lean 之父亲自开讲
wellecks · x · 2026-10-27
由 Beneficial AI Foundation 与 Lean FRO 联合主办的 Software Verification in Lean(SVIL)2026 秋季场将于 11 月 7 日在斯坦福大学举行,聚焦把 Lean 软件验证生态推向生产级应用,重点是安全关键系统的端到端验证与 BAIF 的 Secure Stack 计划。
- 议题覆盖:基于 Aeneas 框架的 Rust 验证、低层软件验证、形式化验证的 OS 内核
- 讲者阵容:Max Tegmark、Shaowei Lin(BAIF)、Leonardo de Moura(Lean FRO)、Jonathan Protzenko(Google)、Andres Erbsen(华盛顿大学)、Mike Dodds(Oath FRO)
- 为期一天(9:30 AM–5:00 PM 太平洋时间),每场报告附讨论环节;本次是继今年早些时候巴黎首届之后的第二场
- 线下名额有限,非本地及候补报名者将获直播链接,会后提供录像
「研究」频道最新
- 研究者与 LLM 讨论论文后,让模型改写出 12 页更清晰版本(正确性未验证) — thomasahle · 2026-10-27
- OpenAI 宣布数学新成果，被指抢先公开社区数学家 YM4 工作 — burny_tech · 2026-10-27
- 纽约将办可靠 AI 见面会，首期聚焦合成数据 — karen_ullrich · 2026-10-27
- Meta 发布 InteractiveWorld：可验证环境测试 MLLM 能否当人类现场助手 — meta · 2026-10-27
- 小米 MiLM 联合武大推出 WorldCast：大角度运镜下角色视频保持世界一致 — Lei Cao · 2026-10-27
- UCL 发布持续学习基准 CLE：最强前沿模型仅通过 47.7% 关卡 — UniversityCollegeLondon · 2026-10-27