关于用 AI 智能体构建形式化工具的初步建议

Oath Technologies 的 Mike Dodds 分享了几个月来构建语义、验证器和证明工具链的笔记，其中大部分工作由 AI 智能体完成。该演讲基于这些实践经验，就使用 AI 构建形式化工具提出了初步建议。