Text · dataset · 2025
nvidia/Nemotron-Math-Proofs-v1
Listed in Hugging Face Datasets
Description
Nemotron-Math-Proofs-v1 Paper: Nemotron-Math: Efficient Long-Context Distillation of Mathematical Reasoning from Multi-Mode SupervisionCode: github.com/NVIDIA/NeMo-SkillsDocumentation: Nemotron-MathProofs-v1 documentation Dataset Description: Nemotron-Math-Proofs-v1 is a large-scale mathematical reasoning dataset containing ~580k natural language proof problems, ~550k formalizations into theorem statements in Lean 4, and ~900k model-generated reasoning… See the full description on the dataset page: huggingface.co/datasets/nvidia/Nemotron-Math-Proofs-v1.
Links
Where it is published
- Hugging Face dataset page huggingface.co/datasets/nvidia/Nemotron-Math-Proofs-v1 ↗
landing page · from Hugging Face
Documentation and papers
- arXiv:2512.15489 arxiv.org/abs/2512.15489 ↗
publication · from Hugging Face
- arXiv:2508.10925 arxiv.org/abs/2508.10925 ↗
publication · from Hugging Face
- arXiv:2508.03613 arxiv.org/abs/2508.03613 ↗
publication · from Hugging Face
Catalogue records · 1
- Hub API huggingface.co/api/datasets/nvidia/Nemotron-Math-Proofs-v1 ↗
metadata API · from Hugging Face
Topics
- Stated by source
- text · text generation
- From keywords
- Computer Science & AI
- Inferred from text
- Theory of computation 69%
Provenance · 1 source records, 11 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| Hugging Face Datasets | nvidia/Nemotron-Math-Proofs-v1 | 12 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · Hugging Face | connector:huggingface@1.0.0 | /gated |
| concepts[field].anzsrc:group:4613 | enrichment · Hugging Face | taxonomy-embedding@1.1.0 | title+keywords+description (69%) |
| concepts[field].local:field:computer-science-ai | mapping · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[modality].hf_modality:text | source · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[task].hf_task:text-generation | source · Hugging Face | connector:huggingface@1.0.0 | /tags[task_categories:*] |
| created_date | source · Hugging Face | connector:huggingface@1.0.0 | |
| description | source · Hugging Face | connector:huggingface@1.0.0 | /description |
| license | source · Hugging Face | connector:huggingface@1.0.0 | /tags[license:*] |
| publication_date | source · Hugging Face | connector:huggingface@1.0.0 | |
| title | source · Hugging Face | connector:huggingface@1.0.0 | /id |
| updated_date | source · Hugging Face | connector:huggingface@1.0.0 |