Rankings People

LEOrganization

Lean Eval team

Maintainers of the Lean formalization benchmark and leaderboard.

MathematicsReasoningCodingResearch

Evals

1

Lean AI formalization leaderboard

Explore

AI Rankings People

AI tools

AI Headshots AI Image Generator AI Video Generator

© 2026 Panabee, LLC. All rights reserved.