CoolFace
30 shown

datasets

Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.

modalityAllTextImageAudioTabularVideo
taskAllText generationQuestion answeringImage classificationSpeech
sizeAllUnder 1K1K – 10K100K – 1M1M – 10M
formatAllParquetJSONCSVWebDataset
sortTrendingMost likedMost usedRecently updatedNewest
Clear all
01mihailgribov /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.documenttext-generation10K<n<100K1 likes562 downloads5mo agoHugging Face02mihailgribov /olympiad_style_integer_math_reasoning Olympiad Math Reasoning Traces Version: v1.0.2 Release date: 2026-04-19 64,763 full model reasoning traces for olympiad-style math problems with verified integer answers. This dataset contains only correct and non-truncated traces — every record contains a terminal \boxed{...} answer (within the last 500 characters of the response) that matches the expected integer exactly, and none of the responses hit the model's generation-token cap. Intended for distillation and supervised… See the full description on the dataset page: https://huggingface.co/datasets/mihailgribov/olympiad_style_integer_math_reasoning.tabulartext-generation10K<n<100K0 likes321 downloads5mo agoHugging Face03ulamai /verified-math-olympiad-trajectories Verified Math Olympiad Reasoning Trajectories for RLVR This repository is the public sample and schema repository for Ulam's math olympiad reasoning trajectories for reinforcement learning with verifiable rewards (RLVR), answer-verifier evaluation, process-supervision candidates, judge training, proof criticism, and private evaluations. The goal is not merely to provide final-answer math examples. Each record is a structured olympiad reasoning object containing a normalized problem… See the full description on the dataset page: https://huggingface.co/datasets/ulamai/verified-math-olympiad-trajectories.documentn<1K2 likes188 downloads4mo agoHugging Face04Metaskepsis /Olympiads_hard Numina-Olympiads Filtered NuminaMath-CoT dataset containing only olympiads problems with valid answers. Dataset Information Split: train Original size: 21525 Filtered size: 21408 Source: olympiads All examples contain valid boxed answers Dataset Description This dataset is a filtered version of the NuminaMath-CoT dataset, containing only problems from olympiad sources that have valid boxed answers. Each example includes: A mathematical word problem A… See the full description on the dataset page: https://huggingface.co/datasets/Metaskepsis/Olympiads_hard.tabulartext-generation10K<n<100K3 likes104 downloads2y agoHugging Face05Metaskepsis /Olympiads_medium Numina-Olympiads Filtered NuminaMath-CoT dataset containing only olympiads problems with valid answers. Dataset Information Split: train Original size: 13284 Filtered size: 13240 Source: olympiads All examples contain valid boxed answers Dataset Description This dataset is a filtered version of the NuminaMath-CoT dataset, containing only problems from olympiad sources that have valid boxed answers. Each example includes: A mathematical word problem A… See the full description on the dataset page: https://huggingface.co/datasets/Metaskepsis/Olympiads_medium.tabulartext-generation10K<n<100K1 likes94 downloads2y agoHugging Face06sibasmarakp /Llama-3.2-1B-Instruct-uPRM-70B-T80-olympiadbench-best_of_n-completionstabular1K<n<10K0 likes66 downloads23d agoHugging Face07sibasmarakp /Qwen2.5-1.5B-Instruct-uPRM-32B-T80-olympiadbench-best_of_n-completionstabular1K<n<10K0 likes56 downloads23d agoHugging Face08sibasmarakp /Qwen2.5-1.5B-Instruct-uPRM-70B-T80-olympiadbench-best_of_n-completionstabular1K<n<10K0 likes54 downloads23d agoHugging Face09sibasmarakp /Llama-3.2-1B-Instruct-uPRM-32B-T80-olympiadbench-best_of_n-completionstabular1K<n<10K0 likes44 downloads23d agoHugging Face10yoonholee /olympiad-books-open-source olympiad-books-open-source Chunked content from 12 open-source mathematics textbooks, suitable for retrieval (RAG), embedding, and math reasoning research. Source code: github.com/yoonholee/olympiad-books-open-source-pipeline Books Book Author(s) License Source An Infinitely Large Napkin Evan Chen CC BY-SA 4.0 / GPL v3 GitHub Mathematical Reasoning: Writing and Proof Ted Sundstrom CC BY-NC-SA 3.0 GitHub Exploring Combinatorial Mathematics Richard Grassl… See the full description on the dataset page: https://huggingface.co/datasets/yoonholee/olympiad-books-open-source.tabulartext-retrieval1K<n<10K1 likes34 downloads7mo agoHugging Face11sibasmarakp /Qwen2.5-7B-Instruct-uPRM-32B-T80-olympiadbench-best_of_n-completionstabular1K<n<10K0 likes33 downloads2mo agoHugging Face12darumayuki /evolved-math-problems-OlympiadBench-from-deepseek-r1-0528-freetabular1K<n<10K0 likes30 downloads1y agoHugging Face13Metaskepsis /Olympiads_medium_filteredtabular10K<n<100K0 likes29 downloads2y agoHugging Face14sibasmarakp /Qwen2.5-7B-Instruct-uPRM-32B-T80-olympiadbench-dvts-completionstabular1K<n<10K0 likes29 downloads2mo agoHugging Face15lm-provers /olympiads-proof-graderbenchtabularn<1K2 likes25 downloads9mo agoHugging Face16MilaWang /olympiadbench-a-subproblemtabular1K<n<10K0 likes19 downloads1y agoHugging Face17osieosie /olympiads-ref-cleaned-v1tabular1K<n<10K0 likes19 downloads10mo agoHugging Face18Metaskepsis /Olympiads_hard_filteredtabular10K<n<100K0 likes18 downloads2y agoHugging Face19ADRA-RL /olympiads-ref-cleanedtabular1K<n<10K0 likes18 downloads7mo agoHugging Face20mlfoundations-dev /b2_math_fasttext_pos_brando_olympiad_neg_lap1official_mathtabular10K<n<100K0 likes17 downloads1y agoHugging Face21therem /qwen3_math_ai_olympiadbench_4xtabular1K<n<10K0 likes17 downloads1y agoHugging Face22mlfoundations-dev /train_fasttext_classifier_seed_math_best_olympiadtabularn<1K0 likes16 downloads2y agoHugging Face23mlfoundations-dev /b2_train_fasttext_math_pos_brando_olympiad_neg_lap1official_mathtabularn<1K0 likes15 downloads1y agoHugging Face24mlfoundations-dev /b2_train_fasttext_math_pos_brando_olympiad_neg_lap1official_math_fixtabularn<1K0 likes15 downloads1y agoHugging Face25mlfoundations-dev /b2_math_fasttext_pos_brando_olympiad_neg_lap1official_math_eval_636d mlfoundations-dev/b2_math_fasttext_pos_brando_olympiad_neg_lap1official_math_eval_636d Precomputed model outputs for evaluation. Evaluation Results Summary Metric AIME24 AMC23 MATH500 MMLUPro JEEBench GPQADiamond LiveCodeBench CodeElo CodeForces Accuracy 21.3 66.5 80.8 29.4 42.3 42.1 14.4 4.8 7.0 AIME24 Average Accuracy: 21.33% ± 1.17% Number of Runs: 10 Run Accuracy Questions Solved Total Questions 1 16.67% 5 30 2… See the full description on the dataset page: https://huggingface.co/datasets/mlfoundations-dev/b2_math_fasttext_pos_brando_olympiad_neg_lap1official_math_eval_636d.tabular1K<n<10K0 likes15 downloads1y agoHugging Face26mlfoundations-dev /b2_math_fasttext_pos_brando_olympiad_neg_lap1official_math_10k_eval_636d mlfoundations-dev/b2_math_fasttext_pos_brando_olympiad_neg_lap1official_math_10k_eval_636d Precomputed model outputs for evaluation. Evaluation Results Summary Metric AIME24 AMC23 MATH500 MMLUPro JEEBench GPQADiamond LiveCodeBench CodeElo CodeForces Accuracy 20.7 60.0 79.4 27.6 40.9 39.9 20.8 4.3 8.5 AIME24 Average Accuracy: 20.67% ± 1.40% Number of Runs: 10 Run Accuracy Questions Solved Total Questions 1 16.67% 5 30 2… See the full description on the dataset page: https://huggingface.co/datasets/mlfoundations-dev/b2_math_fasttext_pos_brando_olympiad_neg_lap1official_math_10k_eval_636d.tabular1K<n<10K0 likes15 downloads1y agoHugging Face27mlfoundations-dev /b2_math_fasttext_pos_brando_olympiad_neg_lap1official_math_10ktabular10K<n<100K0 likes14 downloads1y agoHugging Face28therem /deepseek_r1_math_ai_olympiadbench_4xtabular1K<n<10K0 likes14 downloads1y agoHugging Face29therem /qwen_math_math_ai_olympiadbench_8xtabular1K<n<10K0 likes13 downloads1y agoHugging Face30mlfoundations-dev /b2_math_fasttext_pos_brando_olympiad_neg_lap1official_math_3k_eval_636d mlfoundations-dev/b2_math_fasttext_pos_brando_olympiad_neg_lap1official_math_3k_eval_636d Precomputed model outputs for evaluation. Evaluation Results Summary Metric AIME24 AMC23 MATH500 MMLUPro JEEBench GPQADiamond LiveCodeBench CodeElo CodeForces Accuracy 18.0 61.3 80.8 29.0 42.5 35.7 23.7 4.4 5.9 AIME24 Average Accuracy: 18.00% ± 1.65% Number of Runs: 10 Run Accuracy Questions Solved Total Questions 1 20.00% 6 30 2… See the full description on the dataset page: https://huggingface.co/datasets/mlfoundations-dev/b2_math_fasttext_pos_brando_olympiad_neg_lap1official_math_3k_eval_636d.tabular1K<n<10K0 likes12 downloads1y agoHugging Face

Listings come live from the Hugging Face Hub API. CoolFace does not host these files.