Tentative Advice on Building Formal Tools with AI Agents

Mike Dodds of Oath Technologies shares notes from several months of building semantics, verifiers, and proof toolchains with AI agents doing most of the work. The talk offers tentative advice on using AI to build formal tools, drawing on that hands-on experience.