Hacker News AI· datascientist·· 17 days agoAI score30
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
AI summary
This is a link to a Data Exchange podcast episode featuring Leo de Moura, creator of Lean, discussing AI, Lean, and the future of formal verification. The item also links to its Hacker News discussion thread.
Source: Hacker News AI · thedataexchange.media