This dataset is designed for evaluating mathematical reasoning models, specifically for the AIMO (AI Mathematical Olympiad) competition. It consolidates problems from multiple high-quality sources into a unified format.
id (string): A unique identifier for each problem, prefixed with the source name (e.g., aime-1, math500-test-123).
question (string): The text of the mathematical… See the full description on the dataset page:
https://huggingface.co/datasets/abdullahmeda/aimo-3-eval.