datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
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
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
MATH-500-Russian
Карточка датасета MATH-500-Russian
Перевод датасета HuggingFaceH4/MATH-500 на русский язык,
был выполнен моделью qwen2.5:32b через
скрипты EvilFreelancer/datasets-translator.
Данный набор данных содержит подмножество из 500 задач из теста MATH, который OpenAI создал для статьи Let's Verify
Step by Step и переведённых на русский язык.
Подробности в их репозиторий на GitHub.
formal_math500
Dataset Card for Formal Problem-Solving Benchmarks
This dataset is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving, accepted as an ICML 2026 Spotlight paper.
Links:
Paper: https://openreview.net/forum?id=hgMZraPlSv
Project: https://github.com/Purewhite2019/formal_problem_solving_main
Overview
The benchmark supports three evaluation settings:
Formal Problem-Solving (FPS): Given a… See the full description on the dataset page: https://huggingface.co/datasets/purewhite42/formal_math500.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
MATH-500
Dataset Card for MATH-500
This dataset contains 12,000 training problems and 500 test 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
Compared with the existing repository, this version additionally includes the training split.
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
math500-preference-pairs-fable
MATH-500 Preference Pairs (Fable-generated)
500 preference pairs covering all 500 problems of MATH-500, generated by Anthropic's Claude Fable 5 for reward-model training in a math-RLHF project (Qwen2.5-7B, PPO/GRPO on AWS EKS).
Format
{
"idx": 0,
"problem": "Convert the point $(0,3)$ ...",
"chosen": "<complete correct solution with full reasoning>",
"rejected_1": "<plausible-but-wrong solution, error mode A>",
"rejected_2": "<plausible-but-wrong solution… See the full description on the dataset page: https://huggingface.co/datasets/weivzhang/math500-preference-pairs-fable.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
MATH-500-self-rewarding使用self-rewarding方法微调的模型，在math-500上的结果
模型：qwen2.5-7b-insturct
方法：(Self-rewarding correction for mathematical reasoning)[https://arxiv.org/pdf/2502.19613]
MATH500math500
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