Datasets
Blogs
About
Projects
- Project-EVA
Resources
- Paper

Contact Us

Datasets
Blogs
About
Mission
Opportunities
Partnerships
Projects
Project-EVA
Resources
Paper

FormalMATH

A Large-Scale Benchmark for Formal Mathematical Reasoning in Lean4

2077AI

Join Us In Shaping The Future Of AI

Contact Us

2077AI ©2025Join Us in Shaping the Future of AI Contact Us