Mike Dodds 分享以 AI 代理建構形式化工具的筆記

Oath Technologies 的 Mike Dodds 分享了過去數月建構語意、驗證器與證明工具鏈的筆記與投影片，其中大部分工作由 AI 代理完成。這些素材根據親身實作經驗，提供使用 AI 建構形式化工具的初步建議。 筆記並未聲稱這是經過驗證的方法；Dodds 將這些指引定位為初步性質，源自他自身的工作，而非來自經過驗證的結果。

AI 依報導生成 · 1 小時前更新

還沒有足夠的連續觀測資料，暫不繪製趨勢。