AI-MO Olympiad Reference Dataset: Structured Math Competition Problems and Solutions

AI-MO provides a structured collection of Olympiad problems and their official solutions. The dataset is organized by competition, such as the International Mathematical Olympiad, and includes raw PDF files. It was last updated on November 6, 2025.

Use Cases

• Train language models on mathematical reasoning based on structured problem-solution pairs.
• Benchmark automated theorem provers based on high-quality Olympiad problems.
• Analyze problem difficulty and solution patterns across different competitions.
• Generate educational content for advanced mathematics training.

Strengths

• Prioritizes 'official' solutions, suggesting high-quality reference material.
• Organized by competition name, providing clear structure for navigation.
• Includes raw PDF files, preserving original problem formatting.

Limitations

• Description metadata is limited; actual data quality requires manual inspection after download.
• Column-level documentation is absent; field semantics must be inferred after download.
• Row count and total scale are unknown, which may limit suitability assessment.

Provenance

Source

AI-MO, via Hugging Face.

Collection Method

Likely scraped or compiled from official Olympiad sources, using download scripts.

Time Range

null

Freshness

Last updated 2025-11-06 02:36:13; freshness should be verified.

Geography

null