Episode Details
Back to EpisodesLeanMarathon: Autonomous Formalization of Math Proofs on Erdős Problems
Published 3 months, 4 weeks ago
Description
Presents an autonomous system for formalizing mathematical proofs, specifically targeting Erdős problems. Demonstrates automated proof formalization capabilities in the Lean theorem prover.