Clark Barrett 是 Stanford University 的计算机科学教授、斯坦福 AI 安全中心联合主任。本期报告基于 Lean 的形式化验证与代码证明智能体。
Clark Barrett is affiliated with Stanford University (计算机科学教授、斯坦福 AI 安全中心联合主任). Presents Lean-based formal verification and code-proving agents in this session.
介绍来源
原发布方节目与人物署名 · 核对于 2026-10-18。依据原节目发布时的介绍。