Mike Dodds Shares Notes on Building Formal Tools with AI Agents
Start here
Mike Dodds of Oath Technologies has shared notes and slides from several months of building semantics, verifiers and proof toolchains in which AI agents did most of the work. The material offers tentative advice on using AI to build formal tools, based on that hands-on experience. The notes do not claim a proven method; Dodds presents the guidance as preliminary, drawn from his own work rather than from a validated result.
Generated from reports · updated 1 h ago
Report timeline
Follow the reports to see the event from different sides.
- Hacker News · AITentative 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.
Heat for this event
Not enough continuous observations yet to draw a trend.