Tentative Advice on Building with AI

How do we use AI to build formal tools? Notes from a few months of building semantics, verifiers, and proof toolchains with AI agents doing most of the work.

Slides · Mike Dodds · Oath Technologies · 21 August 2026