# miniF2F

miniF2F is an AI benchmark; this page records what it measures and traces its data, grader, and scores to primary sources.

Tests automated theorem provers on olympiad and classroom mathematics translated across formal systems.

## Details

- Address: Online, Global
- Website: [github.com/facebookresearch/miniF2F](<https://github.com/facebookresearch/miniF2F>)
- Tags: Helpful, Science
- Category: Math
- Status: Active
- Data licence: MIT
- Data access: open
- Grader: unit-test
- Organization: Zheng et al.
- Released: 2021-08
- Paper: [arxiv.org/abs/2109.00110](<https://arxiv.org/abs/2109.00110>)
- Repository: [github.com/facebookresearch/miniF2F](<https://github.com/facebookresearch/miniF2F>)
- Task count: 488
- Top-score provenance: unknown
- ABI family: No

## Questions

### Where is miniF2F?

miniF2F is at Online, Global.

### How do I contact miniF2F?

To contact miniF2F, visit https://github.com/facebookresearch/miniF2F.

## Source

From [Benchmark primary sources](https://aibenchmarkindex.com/about), license CC0-1.0, checked 2026-10-15.

Last updated October 15, 2026.

## Links

- This benchmark on the [web page](<https://aibenchmarkindex.com/global/online/minif2f>)
- [Math in Online](<https://aibenchmarkindex.com/global/online/category/math.md>)
- [More benchmarks in Online](<https://aibenchmarkindex.com/global/online.md>)

> **Check before you compare.** Benchmark methods and leaderboards change. Follow the cited primary source before using a result in a decision.