Nemotron-Math-Proofs-v1
by nvidia (organization)
Paper: Nemotron-Math: Efficient Long-Context Distillation of Mathematical Reasoning from Multi-Mode SupervisionCode: Nemotron-MathProofs-v1 documentation Dataset Description: Nemotron-Math-Proofs-v1 is a large-scale mathematical reasoning dataset containing ~580k natural… (excerpt from the dataset card on Hugging Face)
Dataset facts
- Hub id
- nvidia/Nemotron-Math-Proofs-v1
- Likes
- 129
- Downloads (last 30 days)
- 1,144
- Tasks
- Text generation
- Modality
- text
- Size
- 100K to 1M examples
- License
- CC BY-SA 4.0 (cc-by-sa-4.0)
- Access
- Open download
- Author
- nvidia · Organization
- Languages
- en
- Created
- Dec 14, 2025
- Last modified
- Jan 5, 2026
More datasets from nvidia
Rank 19: nvidia/PhysicalAI-Autonomous-Vehicles
The PhysicalAI-Autonomous-Vehicles dataset provides one of the largest, geographically diverse collections of multi-sensor data empowering AV researchers to build the ne…
1,145 likes244,104 downloads in the last 30 daysNvidia av datasetGated
Rank 48: nvidia/Llama-Nemotron-Post-Training-Dataset
Llama-Nemotron-Post-Training-Dataset-v1.1 Release Update [4/8/2025]: v1.1: We are releasing an additional 2.2M Math and 500K Code Reasoning Data in support of our releas…
716 likes6,085 downloads in the last 30 daysCC BY 4.0
Rank 67: nvidia/Nemotron-Personas-Korea
우리나라 실제 분포에 기반한 합성 페르소나를 위한 복합 AI 시스템 A compound AI approach to personas grounded in real-world distributions 데이터셋 개요 (Overview) Nemotron-Personas-Korea는 대한민국의 실제 인구통계학적…
573 likes5,115 downloads in the last 30 daysText generationCC BY 4.0
Rank 68: nvidia/OpenCodeReasoning
OpenCodeReasoning: Advancing Data Distillation for Competitive Coding Data Overview OpenCodeReasoning is the largest reasoning-based synthetic dataset to date for coding…
572 likes11,893 downloads in the last 30 daysText generationCC BY 4.0
Rank 94: nvidia/OpenMathReasoning
OpenMathReasoning is a large-scale math reasoning dataset for training large language models (LLMs). This dataset contains 306K unique mathematical problems sourced from…
485 likes70,269 downloads in the last 30 daysQuestion answeringCC BY 4.0
Rank 106: nvidia/HelpSteer2
HelpSteer2: Open-source dataset for training top-performing reward models HelpSteer2 is an open-source Helpfulness Dataset (CC-BY-4.0) that supports aligning models to b…
465 likes32,805 downloads in the last 30 daysCC BY 4.0