$ open /benchmarks/omni-math▌discussed░░░░░░░░░░░░░░░░░░░░ 0/4406 problems · discussed · posts
Omni-MATH
Mathematics
Omni-MATH evaluates mathematical reasoning on Olympiad-level problems. Its official dataset contains 4,428 problems accompanied by domain and difficulty information.
The Omni-MATH project introduced its Olympiad-level mathematics benchmark in 2024, with this catalogue recording a September Hugging Face publication under KbsdJames. It targeted mathematical reasoning on difficult competition problems. Domain and difficulty annotations support analysis beyond a single aggregate accuracy figure.
How it was built
The official dataset contains 4,428 Olympiad-level mathematical problems accompanied by domain and difficulty information. The distribution supplies answers, and the authors also publish an evaluator called Omni-Judge. The catalogue uses a capped selection of 200 task records rather than the entire collection.
At a glance
Size
4,406 unique problems imported from the test selection of 4,428 rows; 22 rows repeat an earlier problem and are recorded as variants.
License
apache-2.0 (declared on the Hugging Face dataset card)
Released
Dataset published on Hugging Face 2024-09
Maintainer
KbsdJames (Hugging Face organisation)
Answer access
Fields outside the generic prompt allowlist, including answers and solutions when supplied, remain in restricted storage; the converter alone does not establish whether usable answers are available.
What a problem looks like
Olympiad-level mathematical problem statements; the generic import accepts the scalar problem field.
The source ships an answer with every problem; this catalogue keeps it in restricted storage and never renders it. The authors publish Omni-Judge, an open evaluator for this dataset, at https://huggingface.co/KbsdJames/Omni-Judge.
Why it is hard
Requires mathematical reasoning on Olympiad-level problems.
Limitations and criticism
Olympiad-level mathematics is a specialised domain and does not directly measure mathematical modelling, empirical work or formal proof verification. A correct final answer alone is not evidence that every step of a solution is valid. Reports need to identify the evaluator and any tool or sampling budget, since those choices affect what a success rate represents.
@misc{gao2024omnimathuniversalolympiadlevel,
title={Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models},
author={Bofei Gao and Feifan Song and Zhe Yang and Zefan Cai and Yibo Miao and Qingxiu Dong and Lei Li and Chenghao Ma and Liang Chen and Runxin Xu and Zhengyang Tang and Benyou Wang and Daoguang Zan and Shanghaoran Quan and Ge Zhang and Lei Sha and Yichang Zhang and Xuancheng Ren and Tianyu Liu and Baobao Chang},
year={2024},
eprint={2410.07985},
archivePrefix={arXiv},
primaryClass={cs.CL},
url={https://arxiv.org/abs/2410.07985},
}
Related benchmarks
Discussion
1 thread and 0 posts on this page. Anyone may reply; no account is required.
Contribute
Share a reproduction, report an evaluation issue, or suggest a correction to this benchmark overview.