paper-with-me

Papers

Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models

2024-10-10 · Bofei Gao, Feifan Song, Zhe Yang, Zefan Cai, Yibo Miao, Qingxiu Dong, Lei LI, Chenghao Ma, Liang Chen, Runxin Xu, Zhengyang Tang, Benyou Wang, Daoguang Zan, Shanghaoran Quan, Ge Zhang, Lei Sha, Yichang Zhang, Xuancheng Ren, Tianyu Liu, Baobao Chang

Recent advancements in large language models (LLMs) have led to significant breakthroughs in mathematical reasoning capabilities. However, existing benchmarks like GSM8K or MATH are now being solved with high accuracy (e.g., OpenAI o1 achieves 94.8\% on MATH dataset), indicating their inadequacy for truly challenging these models. To bridge this gap, we propose a comprehensive and challenging benchmark specifically designed to assess LLMs' mathematical reasoning at the Olympiad level. Unlike existing Olympiad-related benchmarks, our dataset focuses exclusively on mathematics and comprises a vast collection of 4428 competition-level problems with rigorous human annotation. These problems are meticulously categorized into over 33 sub-domains and span more than 10 distinct difficulty levels, enabling a holistic assessment of model performance in Olympiad-mathematical reasoning. Furthermore, we conducted an in-depth analysis based on this benchmark. Our experimental results show that even the most advanced models, OpenAI o1-mini and OpenAI o1-preview, struggle with highly challenging Olympiad-level problems, with 60.54\% and 52.55\% accuracy, highlighting significant challenges in Olympiad-level mathematical reasoning.

📄 PDF Abstract BibTeX arXiv:2410.07985

Code (2)

kbsdjames/omni-math 공식 구현
kbsdjames/omni-math-rule 공식 구현

Tasks

GSM8KMathMathematical Reasoning

Similar Papers 제목 키워드 기반

Proving Olympiad Algebraic Inequalities without Human Demonstrations

2024-06-20 · Chenrui Wei, Mengzhou Sun, Wei Wang

Solving Olympiad-level mathematical problems represents a significant advancement in machine intelligence and automated reasoning. Current machine learning methods, however, struggle to solve Olympiad-level problems beyo…

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

2021-08-31 · ICLR 2022 4 · Kunhao Zheng, Jesse Michael Han, Stanislas Polu

We present miniF2F, a dataset of formal Olympiad-level mathematics problems statements intended to provide a unified cross-system benchmark for neural theorem proving. The miniF2F benchmark currently targets Metamath, Le…

Automated Theorem Proving

Achieving Gold-Medal-Level Olympiad Reasoning via Simple and Unified Scaling

2026-05-13 · Yafu Li, Runzhe Zhan, Haoran Zhang, Shunkai Zhang 외 arxiv

Recent progress in reasoning models has substantially advanced long-horizon mathematical and scientific problem solving, with several systems now reaching gold-medal-level performance on International Mathematical Olympi…

Accessing GPT-4 level Mathematical Olympiad Solutions via Monte Carlo Tree Self-refine with LLaMa-3 8B

2024-06-11 · Di Zhang, Xiaoshui Huang, Dongzhan Zhou, Yuqiang Li 외

This paper introduces the MCT Self-Refine (MCTSr) algorithm, an innovative integration of Large Language Models (LLMs) with Monte Carlo Tree Search (MCTS), designed to enhance performance in complex mathematical reasonin…

Decision MakingGSM8KMathMathematical Reasoning

EEFSUVA: A New Mathematical Olympiad Benchmark

2025-09-23 · Nicole N Khatibi, Daniil A. Radamovich, Michael P. Brenner arxiv

Recent breakthroughs have spurred claims that large language models (LLMs) match gold medal Olympiad to graduate level proficiency on mathematics benchmarks. In this work, we examine these claims in detail and assess the…

Mathematical Reasoning