Competition Math · AI-MO
aops_raw
A collection of 80,661 contest mathematics problems and solutions from the Art of Problem Solving forums.
What aops_raw is
aops_raw is a competition mathematics dataset curated by AI-MO (Project Numina), an initiative focused on developing artificial intelligence systems capable of mathematical reasoning at the olympiad standard. It compiles problem posts and discussion threads from the Art of Problem Solving (AoPS) community wiki and forums.
The dataset spans a broad range of mathematical contests, including the American Mathematics Competitions (AMC), the American Invitational Mathematics Examination (AIME), the Bay Area Mathematical Olympiad (BAMO), the International Mathematical Olympiad (IMO), and various national and memorial competitions. It addresses the need for rich training and evaluation data across advanced mathematical topics such as geometry, number theory, algebra, and combinatorics.
How it was made
The dataset aggregates 80,661 competition math problems and associated solutions extracted from AoPS online collections. Each entry provides the problem statement (typically formatted in LaTeX), an primary solution or proof if available, alternative candidate solutions contributed by the community, and descriptive metadata tags detailing the origin, contest, and competition year.
Entries also contain structured metadata, capturing the community answer score, the number of replies on the thread, the internal AoPS source path, and boolean flags showing whether an answer contains a boxed final value or includes a complete proof conclusion.
Key facts
- Modality
- Text
- Format
- Parquet
- Total examples
- 80,661
- Splits
- train (80,661 examples)
- Subject
- Competition mathematics
What you can use it for
- Mathematical Reasoning Model Training
- Training large language models to generate step-by-step proofs and solve competition-level mathematics problems.
- Language Model Benchmarking
- Evaluating model capabilities on olympiad-tier challenges from competitions such as AMC, AIME, and the IMO.
- Mathematical Solution Quality Research
- Investigating difficulty distributions and comparing alternative solution paths using community-contributed candidates and scores.
- Retrieval-Augmented Generation for Tutoring
- Serving as a reference index for retrieval-augmented generation systems designed for mathematics education and tutoring.
Explore the data
No licence declared
The authors have not published a licence, which means no permission to redistribute the data has been granted to anyone. The rows are not served here; read them on the original dataset page.Strengths and limits
Good at
- Contains 80,661 problems spanning elementary to international olympiad levels across diverse mathematical domains.
- Provides community-submitted candidate solutions alongside primary solutions and community rating scores.
- Includes granular metadata such as indicators for boxed numerical results and formal proof endings.
Watch out for
- The primary solution field may be empty for certain problem entries.
- Data originates from community discussion forums and wikis, which can result in varied formatting and answer completeness.
Questions
Can I look inside aops_raw without downloading it?
Not here: it declares no licence, so no permission to redistribute its rows has been granted. Its description and statistics are still shown.
What licence is aops_raw under?
Its authors have not declared a licence, which means no permission to reuse or redistribute it has been granted.
What mathematical subjects are represented in the dataset?
The dataset covers four primary competition mathematics topics: geometry (such as cyclic quadrilaterals and triangle properties), number theory (including modular arithmetic and Diophantine equations), algebra (such as polynomials and functional equations), and combinatorics (including graph theory and counting).
How are the mathematical statements formatted?
Problem statements and proofs are text strings typically formatted using LaTeX.
Are multiple solutions provided for a single problem?
Yes, alongside the main solution field, entries include a list of alternative candidate solutions posted by community members.
Written from aops_raw's own dataset card. Statements citing a figure that does not appear there are removed before publication. Licence and running details come from our registry.