Mike Dodds 分享关于用 AI 智能体构建形式化工具的笔记

Oath Technologies 的 Mike Dodds 分享了几个月来构建语义、验证器和证明工具链的笔记和幻灯片，其中大部分工作由 AI 智能体完成。这些材料基于这段亲身实践经验，就使用 AI 构建形式化工具给出了初步建议。 这些笔记并未声称提出了一种经过验证的方法；Dodds 将这些指导视为初步性的，源自他自己的工作，而非来自经过验证的结果。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。