paper-with-me

Papers

Leveraging Online Olympiad-Level Math Problems for LLMs Training and Contamination-Resistant Evaluation

2025-01-24 · Sadegh Mahdavi, Muchen Li, Kaiwen Liu, Christos Thrampoulidis, Leonid Sigal, Renjie Liao

Advances in Large Language Models (LLMs) have sparked interest in their ability to solve Olympiad-level math problems. However, the training and evaluation of these models are constrained by the limited size and quality of available datasets, as creating large-scale data for such advanced problems requires extensive effort from human experts. In addition, current benchmarks are prone to contamination, leading to unreliable evaluations. In this paper, we present an automated pipeline that leverages the rich resources of the Art of Problem Solving (AoPS) forum, which predominantly features Olympiad-level problems and community-driven solutions. Using open-source LLMs, we develop a method to extract question-answer pairs from the forum, resulting in AoPS-Instruct, a dataset of more than 600,000 high-quality QA pairs. Our experiments demonstrate that fine-tuning LLMs on AoPS-Instruct improves their reasoning abilities across various benchmarks. Moreover, we build an automatic pipeline that introduces LiveAoPSBench, an evolving evaluation set with timestamps, derived from the latest forum data, providing a contamination-resistant benchmark for assessing LLM performance. Notably, we observe a significant decline in LLM performance over time, suggesting their success on older examples may stem from pre-training exposure rather than true reasoning ability. Our work presents a scalable approach to creating and maintaining large-scale, high-quality datasets for advanced math reasoning, offering valuable insights into the capabilities and limitations of LLMs in this domain. Our benchmark and code is available at https://github.com/DSL-Lab/aops

📄 PDF Abstract BibTeX arXiv:2501.14275

Code (2)

dsl-lab/aops 공식 구현
multimodal-art-projection/criticlean

Tasks

Math

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically

Similar Papers 제목 키워드 기반

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

2024-10-10 · Bofei Gao, Feifan Song, Zhe Yang, Zefan Cai 외

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…

GSM8KMathMathematical Reasoning

SBSC: Step-By-Step Coding for Improving Mathematical Olympiad Performance

2025-02-23 · Kunal Singh, Ankan Biswas, Sayandeep Bhowmick, Pradeep Moturi 외

We propose Step-by-Step Coding (SBSC): a multi-turn math reasoning framework that enables Large Language Models (LLMs) to generate sequence of programs for solving Olympiad level math problems. At each step/turn, by leve…

Math

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…

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

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…