關於用 AI 代理建構形式化工具的初步建議

Oath Technologies 的 Mike Dodds 分享了數個月來建構語義、驗證器與證明工具鏈的筆記，其中大部分工作由 AI 代理完成。這場演講根據這些實作經驗，提出關於使用 AI 建構形式化工具的初步建議。