CoolFace
30 shown

datasets

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

Clear all
01HuggingFaceH4 /MATH-500 Dataset Card for MATH-500 This dataset contains a subset of 500 problems from the MATH benchmark that OpenAI created in their Let's Verify Step by Step paper. See their GitHub repo for the source file: https://github.com/openai/prm800k/tree/main?tab=readme-ov-file#math-splits texttext-generationn<1K332 likes224k downloads9mo agoHugging Face02meta-math /MetaMathQAView the project page: https://meta-math.github.io/ see our paper at https://arxiv.org/abs/2309.12284 Note All MetaMathQA data are augmented from the training sets of GSM8K and MATH. None of the augmented data is from the testing set. You can check the original_question in meta-math/MetaMathQA, each item is from the GSM8K or MATH train set. Model Details MetaMath-Mistral-7B is fully fine-tuned on the MetaMathQA datasets and based on the powerful Mistral-7B model. It is… See the full description on the dataset page: https://huggingface.co/datasets/meta-math/MetaMathQA.text100K<n<1M476 likes114k downloads3y agoHugging Face03math-ai /aime25 AIME 25 American Invitational Mathematics Examination (AIME) 2025 Citation If you use the AIME25 dataset in your research, please consider citing it as follows: @misc{aime25, title={American Invitational Mathematics Examination (AIME) 2025}, author={Zhang, Yifan and Math-AI, Team}, year={2025}, } textn<1K38 likes96k downloads8mo agoHugging Face04math-ai /aime26 AIME 26 American Invitational Mathematics Examination (AIME) 2026 Citation If you use the AIME26 dataset in your research, please consider citing it as follows: @misc{aime26, title={American Invitational Mathematics Examination (AIME) 2026}, author={Zhang, Yifan and Math-AI, Team}, year={2026}, } textn<1K19 likes22k downloads7mo agoHugging Face05math-ai /minervamathtextn<1K14 likes22k downloads2y agoHugging Face06TIGER-Lab /MathInstruct 🦣 MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning MathInstruct is a meticulously curated instruction tuning dataset that is lightweight yet generalizable. MathInstruct is compiled from 13 math rationale datasets, six of which are newly curated by this work. It uniquely focuses on the hybrid use of chain-of-thought (CoT) and program-of-thought (PoT) rationales, and ensures extensive coverage of diverse mathematical fields. Project Page:… See the full description on the dataset page: https://huggingface.co/datasets/TIGER-Lab/MathInstruct.texttext-generation100K<n<1M307 likes22k downloads2y agoHugging Face07tokyotech-llm /swallow-math-v2 SwallowMath-v2 Resources 📑 arXiv: Read our paper for detailed methodology at arXiv:2505.02881. 🤗 Sister Dataset: Discover SwallowCode2, our companion dataset for code generation. 🧮 What is it? SwallowMath-v2 is a large-scale mathematical dataset containing 32 billion tokens, developed as the successor to SwallowMath-v1. Building on the success of v1, this release aims to construct a larger-scale and more permissively licensed corpus to support open and… See the full description on the dataset page: https://huggingface.co/datasets/tokyotech-llm/swallow-math-v2.texttext-generation10M<n<100M34 likes13k downloads11mo agoHugging Face08KbsdJames /Omni-MATH Dataset Card for Omni-MATH Recent advancements in AI, particularly in large language models (LLMs), have led to significant breakthroughs in mathematical reasoning capabilities. However, existing benchmarks like GSM8K or MATH are now being solved with high accuracy (e.g., OpenAI o1 achieves 94.8% on MATH dataset), indicating their inadequacy for truly challenging these models. To mitigate this limitation, we propose a comprehensive and challenging benchmark specifically designed… See the full description on the dataset page: https://huggingface.co/datasets/KbsdJames/Omni-MATH.text1K<n<10K132 likes11k downloads2y agoHugging Face09swan07 /math-tiers Math-Tiers: A Tiered Pretraining Corpus for Studying Numerical Reasoning A large-scale English pretraining corpus split into three tiers by mathematical content density. Designed for controlled experiments studying how data composition during pretraining affects numerical reasoning in language models. Tiers Tier Description Shards Size Est. Tokens Sources T0 Pure narrative: no digits, number words, or math 648 542 GB ~113B RedPajama-Book, PleIAs/English-PD… See the full description on the dataset page: https://huggingface.co/datasets/swan07/math-tiers.text1M<n<10M0 likes6.6k downloads7mo agoHugging Face10zhuzilin /dapo-math-17ktext10K<n<100K6 likes4.5k downloads1y agoHugging Face11notadib /math-contests-2026 Math Contests 2026 (🔗 notadib/math-contests-2026) 197 problems from national olympiads and team-selection tests held January 2026 and onward — a held-out benchmark for math reasoning, sourced after the contests ran but before solutions were widely propagated, so they should not appear in any current LLM training data. Excluded: any contest held in 2025 — BMO Round 1 (Nov 2025), USA TSTST, USA TST (Dec 2025) and Bundeswettbewerb Mathematik (Dec 2025) — kept strictly to events… See the full description on the dataset page: https://huggingface.co/datasets/notadib/math-contests-2026.tabularn<1K0 likes3.5k downloads7d agoHugging Face12lighteval /MATH-Hard Dataset Card for Mathematics Aptitude Test of Heuristics, hard subset (MATH-Hard) dataset Dataset Summary The Mathematics Aptitude Test of Heuristics (MATH) dataset consists of problems from mathematics competitions, including the AMC 10, AMC 12, AIME, and more. Each problem in MATH has a full step-by-step solution, which can be used to teach models to generate answer derivations and explanations. For MATH-Hard, only the hardest questions were kept (Level 5).… See the full description on the dataset page: https://huggingface.co/datasets/lighteval/MATH-Hard.text1K<n<10K24 likes3.4k downloads2y agoHugging Face13LLMTeamAkiyama /MathX-hatoritabular100K<n<1M0 likes3.3k downloads1y agoHugging Face14nvidia /Nemotron-Math-Proofs-v3-SFT Nemotron-Math-Proofs-v3-SFT Dataset Description: Nemotron-Math-Proofs-v3-SFT is a long-form mathematical reasoning dataset containing proof-generation, proof-refinement, verification, and meta-verification traces. The release contains 414,890 samples representing 15,818 unique problems after quality filtering. The source pool contains 15,879 hard proof problems selected from the AoPS subset of nvidia/Nemotron-Math-Proofs-v1. Responses are generated using… See the full description on the dataset page: https://huggingface.co/datasets/nvidia/Nemotron-Math-Proofs-v3-SFT.texttext-generation100K<n<1M9 likes2.7k downloads11d agoHugging Face15meta-math /MetaMathQA-40Karxiv.org/abs/2309.12284 View the project page: https://meta-math.github.io/ text10K<n<100K27 likes2.4k downloads3y agoHugging Face16rrvaswin /hle-mathtextn<1K0 likes2.4k downloads8mo agoHugging Face17aslawliet /math-pretraining-corpustext10M<n<100M4 likes2k downloads2y agoHugging Face18math-ai /math500 Dataset Card for MATH-500 This dataset contains a subset of 500 problems from the MATH benchmark that OpenAI created in their Let's Verify Step by Step paper. See their GitHub repo for the source file: https://github.com/openai/prm800k/tree/main?tab=readme-ov-file#math-splits texttext-generationn<1K4 likes1.6k downloads2y agoHugging Face19swan-07 /math-tierstext10M<n<100M0 likes1.5k downloads7mo agoHugging Face20math-ai /StackMathQA StackMathQA StackMathQA: A Curated Collection of 2 Million Mathematical Questions and Answers Sourced from Stack Exchange StackMathQA is a meticulously curated collection of 2 million mathematical questions and answers, sourced from various Stack Exchange sites. This repository is designed to serve as a comprehensive resource for researchers, educators, and enthusiasts in the field of mathematics and AI research. Configs configs: - config_name: stackmathqa1600k… See the full description on the dataset page: https://huggingface.co/datasets/math-ai/StackMathQA.texttext-generation1M<n<10M104 likes1.5k downloads10mo agoHugging Face21junfeng0288 /MathReal Dataset Card for MathReal Dataset Description Paper Information Dataset Examples  Leaderboard Citation Dataset Description The MathReal dataset is designed to evaluate the performance of Multi-modal Large Language Models (MLLMs)on real-world K-12 mathematical questions. It consists of 2,000 high-quality math problems, each represented as an image captured in authentic educational contexts. The dataset includes various types of questions, such as multiple-choice… See the full description on the dataset page: https://huggingface.co/datasets/junfeng0288/MathReal.imagemultiple-choicen<1K2 likes1.5k downloads1y agoHugging Face22nvidia /AceReason-Math AceReason-Math Dataset Overview AceReason-Math is a high quality, verfiable, challenging and diverse math dataset for training math reasoning model using reinforcement leraning. This dataset contains 49K math problems and answer sourced from NuminaMath and DeepScaler-Preview applying filtering rules to exclude unsuitable data (e.g., multiple sub-questions, multiple-choice, true/false, long and complex answers, proof, figure) this dataset was used to train… See the full description on the dataset page: https://huggingface.co/datasets/nvidia/AceReason-Math.texttext-generation10K<n<100K57 likes1.5k downloads1y agoHugging Face23math-eval /TAL-SCQ5KTAL-SCQ5K Dataset Description Dataset Summary TAL-SCQ5K-EN/TAL-SCQ5K-CN are high quality mathematical competition datasets in English and Chinese language created by TAL Education Group, each consisting of 5K questions(3K training and 2K testing). The questions are in the form of multiple-choice and cover mathematical topics at the primary,junior high and high school levels. In addition, detailed solution steps are provided to facilitate CoT training and all the… See the full description on the dataset page: https://huggingface.co/datasets/math-eval/TAL-SCQ5K.text10K<n<100K60 likes1.4k downloads3y agoHugging Face24Mathoctopus /GSM8KInstruct_Paralleltextquestion-answering10K<n<100K11 likes1.3k downloads3y agoHugging Face25meta-math /GSM8K_zh Dataset GSM8K_zh is a dataset for mathematical reasoning in Chinese, question-answer pairs are translated from GSM8K (https://github.com/openai/grade-school-math/tree/master) by GPT-3.5-Turbo with few-shot prompting. The dataset consists of 7473 training samples and 1319 testing samples. The former is for supervised fine-tuning, while the latter is for evaluation. for training samples, question_zh and answer_zh are question and answer keys, respectively; for testing samples, only… See the full description on the dataset page: https://huggingface.co/datasets/meta-math/GSM8K_zh.textquestion-answering1K<n<10K30 likes1.2k downloads3y agoHugging Face26ulamai /Math-RL-Tasks Ulam AI Math RL Tasks Forty original, verifier-backed mathematical reasoning tasks packaged as ten independent RL environments. The collection spans advanced graduate exercises, research-style exact computation and structural generalization problems in algebraic geometry, arithmetic geometry, combinatorics, topology, probability and spectral analysis. Each suite pairs a runnable rl_env/ with a preserved blind_run/ by GPT-5.6 Sol Pro. The model name describes the evaluation actor… See the full description on the dataset page: https://huggingface.co/datasets/ulamai/Math-RL-Tasks.tabularquestion-answering1K<n<10K1 likes1.2k downloads24d agoHugging Face27mteb /cqadupstack-mathematica CQADupstackMathematicaRetrieval An MTEB dataset Massive Text Embedding Benchmark CQADupStack: A Benchmark Data Set for Community Question-Answering Research Task category t2t Domains Written, Academic, Non-fiction Referencehttp://nlp.cis.unimelb.edu.au/resources/cqadupstack/ How to evaluate on this task You can evaluate an embedding model on this dataset using the following code: import mteb task = mteb.get_tasks(["CQADupstackMathematicaRetrieval"])… See the full description on the dataset page: https://huggingface.co/datasets/mteb/cqadupstack-mathematica.texttext-retrieval10K<n<100K1 likes1.1k downloads1y agoHugging Face28tokyotech-llm /swallow-math SwallowMath October 21, 2025: Newer versions are available: SwallowCode-v2 and SwallowMath-v2 have been released with improved rewriting pipelines. Resources 🐙 GitHub: Explore the project repository, including pipeline code and prompts at rioyokotalab/swallow-code-math. 📑 arXiv: Read our paper for detailed methodology and results at arXiv:2505.02881. 🤗 Sister Dataset: Discover SwallowCode, our companion dataset for code generation. What is it?… See the full description on the dataset page: https://huggingface.co/datasets/tokyotech-llm/swallow-math.texttext-generation1M<n<10M49 likes989 downloads7mo agoHugging Face29Lyric1010 /math-sft-10B Dataset: math-sft-10B This dataset was uploaded from /mnt/yulan_pretrain/mount/data_final_train/math-sft-10B/no-curriculum/tmp. textn<1K0 likes957 downloads11mo agoHugging Face30BelleGroup /school_math_0.25M School Math 0.25M 内容 包含约25万条由BELLE项目生成的中文数学题数据,包含解题过程。 注意:此数据集是由ChatGPT产生的,未经过严格校验,题目或解题过程可能包含错误。使用过程中请注意这一点。 样例 { "instruction": "题目:小华手里有一个装满糖果的袋子,共有12个,小明想知道里面有多少颗糖果,于是他问小华:“你手里的糖果袋子里有偶数个糖果吗?”小华回答:“有,而且多于10颗。”请问小华手里的糖果袋子里最少有几颗糖果?", "input": "", "output": "\n由题目可知:小华手里的糖果袋子里有偶数个糖果;\n又知道小华手里的糖果袋子里有多于10颗糖果。\n因为糖果数为偶数,多于10颗,所以糖果数最小必须是12。\n所以小华手里的糖果袋子里最少有12颗糖果。" } 字段 instruction: 指令 input: 输入(本数据集均为空) output: 输出 局限性和使用限制… See the full description on the dataset page: https://huggingface.co/datasets/BelleGroup/school_math_0.25M.text100K<n<1M105 likes956 downloads3y agoHugging Face

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