Verified Coding Agents

Stream: Machine Learning for Theorem Proving

[Ray Myers]

Hi all, today I posted a video encourage people who make AI coding agents (which I do at my job) to learn Formal Verification with tools like Lean prover.

https://youtu.be/7hRgK6G5aok

If anyone on this side is interested in agents, I'd be interested to hear from you and try and get more crossover between these communities. I'm accumulating a list of related work here.

https://github.com/raymyers/awesome-verified-coding-agents/blob/main/README.md

Cheers!