Lean AI formalization leaderboard
Read the original at lean-lang.org→Original headline: "Lean AI Formalization Leaderboard"
Coverage timeline
- Sep 2, 20:24 UTC Hacker News (AI) lead source Lean AI Formalization Leaderboard
Original headline: "Lean AI Formalization Leaderboard"