olympiad_problems
Olympiad-Problems-CSVus-olympiad-problemsolympiad-proof-problems
Olympiad-Proof-Problems
Dataset Description
This dataset contains mathematical problems and solutions from CSV data.
Dataset Summary
Total Examples: 39764
Format: Problem-solution pairs
Source: olympiad_proof_problems_clean.csv
Language: English
Domain: Mathematics
Data Fields
prompt: The mathematical problem statement
completion: The complete solution (including working steps)
source: Original source identifier
id: Unique identifier for each… See the full description on the dataset page: https://huggingface.co/datasets/TamasSimonds/olympiad-proof-problems.olympiad_style_integer_math_problems
Olympiad Math Corpus
Version: v2.1.1
Release date: 2026-05-03
59,486 synthetically generated olympiad-style math problems with verified integer answers and formal computation graphs.
Loading
from datasets import load_dataset
ds = load_dataset("mihailgribov/olympiad_style_integer_math_problems", split="train")
lemma_applicability is stored as list[{lemma, status}] rather than a sparse dict (required for Arrow-based consumers). To convert to a dict for local use:… See the full description on the dataset page: https://huggingface.co/datasets/mihailgribov/olympiad_style_integer_math_problems.olympiad_problems_5Dataset собранный из олимпиады 2025/26 учебного года. 5 класс
Олимпиада - "Звезда" (https://zv.susu.ru/)
Язык - Russian
olympiad_problems_ships_highschool