斯坦福将办 SVIL 峰会聚焦 Lean 软件验证

Beneficial AI Foundation 与 Lean FRO 联合主办的 Software Verification in Lean(SVIL)大会将于 11 月 7 日在斯坦福举行,主题是用 Lean 定理证明推动软件验证。会议还将新增 AI 安全与形式化验证圆桌讨论。有帖子指出,Lean 证明数量在一年内增长了三个数量级,显示出该技术在形式化验证领域的快速发展势头。

2026-11-07 ~ 2026-11-07 · 2 条相关