Lean Creator Says Machine-Checked Proofs Can Verify AI Code

Original: AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura

Source: thedataexchange.media ↗