AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
Ben Lorica interviews Leo de Moura, creator of the Lean programming language and theorem prover and a Distinguished Scientist at AWS, about formal verification in the age of AI.