AI benchmarks and leaderboards are different things
Learn the difference between a benchmark, an evaluation run and a leaderboard, and use each to answer the right question.
OpenCompass Hub
NaturalProofs
NATURALPROOFS is a multi-domain corpus of mathematical statements and their proofs, written in natural mathematical language. NATURALPROOFS unifies broad coverage, deep coverage, and low-resource mathematical sources, allowing for evaluating both in-distribution and zero-shot generalization.
Evaluation context and evidence
- Source
- OpenCompass Hub
- Publisher
- Allen Institute for Artificial Intelligence
- Benchmark release
- 2021-06-07
- Collected
- 2026-08-18
- Modality
- Not recorded
These are source-reported observations, not independent reruns by this site. Check the task version, evaluation protocol, unit and reporting date before comparing models. Results from different setups are not a universal ranking.
Original sources
Reported results 0
This source record has no numeric results in our collection. That does not mean a score of zero or that no public results exist. Consult the original resources above.