Dataset · Hugging Face

nvidia/Nemotron-Math-Proofs-v1

Name: Nemotron-Math-Proofs-v1
Creator: nvidia
License: cc-by-sa-4.0
Keywords: task_categories:text-generation, language:en, license:cc-by-sa-4.0, size_categories:100K<n<1M, format:json, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, arxiv:2512.15489, arxiv:2508.10925, arxiv:2508.03613, region:us, mathematical-reasoning

Nemotron-Math-Proofs-v1 Paper: Nemotron-Math: Efficient Long-Context Distillation of Mathematical Reasoning from Multi-Mode SupervisionCode: https://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: https://huggingface.co/datasets/nvidia/Nemotron-Math-Proofs-v1.

View on Hugging FaceReport an issue

Author / organization	nvidia
License (as declared)	cc-by-sa-4.0
Downloads	1.1K (as reported by Hugging Face)
Likes	129
Created	14 December 2025
Last updated at source	5 January 2026

mathematical-reasoninglean4proof-generationtheorem-provingsynthetic-data

Embed this entry

<iframe src="https://silytics.si/embed/item/0ac3d759-2f36-4747-ad83-822e7ebecfcb" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 2 days

1,133 now (+21 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

Connected in the knowledge graph

lmstudio-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-8bitModel · used to train
unsloth/NVIDIA-Nemotron-3-Nano-30B-A3B-NVFP4Model · used to train
mradermacher/NVIDIA-Nemotron-3-Nano-4B-BF16-GGUFModel · used to train
nvidia/NVIDIA-Nemotron-3-Nano-4B-FP8Model · used to train
minjaechoi/nemotron3-nano-30b-a3b-2p03bit-r22Model · used to train
mradermacher/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-i1-GGUFModel · used to train
mlx-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-MXFP4Model · used to train
mlx-community/NVIDIA-Nemotron-3-Nano-4B-OptiQ-4bitModel · used to train
mlx-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-4BitModel · used to train
Mungert/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-GGUFModel · used to train
unsloth/Nemotron-3-Nano-30B-A3BModel · used to train
lmstudio-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-6bitModel · used to train
bartowski/nvidia_Nemotron-3-Nano-4B-GGUFModel · used to train
nvidia/NVIDIA-Nemotron-3-Nano-4B-GGUFModel · used to train
lmstudio-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-5bitModel · used to train
mlx-community/NVIDIA-Nemotron-3-Nano-30B-A3B-NVFP4Model · used to train
mlx-community/NVIDIA-Nemotron-3-Nano-30B-A3B-OptiQ-4bitModel · used to train
mlx-community/NVIDIA-Nemotron-3-Nano-4B-4bitModel · used to train
mradermacher/NVIDIA-Nemotron-3-Nano-4B-BF16-i1-GGUFModel · used to train
stelterlab/NVIDIA-Nemotron-3-Nano-30B-A3B-AWQModel · used to train
mradermacher/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-heretic-i1-GGUFModel · used to train
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16Model · used to train
mlx-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-8BitModel · used to train
RedHatAI/NVIDIA-Nemotron-3-Nano-30B-A3B-FP8Model · used to train
VAREQON/NVIDIA-Nemotron-3-Nano-4B-BF16-i1-GGUFModel · used to train
DhruvalLabs/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-GGUFModel · used to train
mlx-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-6BitModel · used to train
mratsim/MiniMax-M2.5-BF16-INT4-AWQModel · used to train
mradermacher/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-GGUFModel · used to train
unsloth/Nemotron-3-Nano-30B-A3B-GGUFModel · used to train
mlx-community/NVIDIA-Nemotron-3-Nano-30B-A3B-4bitModel · used to train
nvidia/NVIDIA-Nemotron-3-Nano-30B-A3B-NVFP4Model · used to train
Ex0bit/Elbaz-NVIDIA-Nemotron-3-Nano-30B-A3B-PRISMModel · used to train
mradermacher/NVIDIA-Nemotron-3-Nano-30B-A3B-BF16-heretic-GGUFModel · used to train
mlx-community/NVIDIA-Nemotron-3-Nano-4B-BF16Model · used to train
mratsim/MiniMax-M2.5-FP8-INT4-AWQModel · used to train
nvidia/NVIDIA-Nemotron-3-Nano-4B-BF16Model · used to train
lmstudio-community/NVIDIA-Nemotron-3-Nano-30B-A3B-MLX-4bitModel · used to train
mradermacher/nemotron-nano-30b-a3b-clinical-instruct-GGUFModel · used to train
bartowski/nvidia_Nemotron-3-Nano-30B-A3B-GGUFModel · used to train

Explore this entry in the graph

More from nvidia

nvidia/PhysicalAI-Robotics-GR00T-X-Embodiment-SimDataset
nvidia/PhysicalAI-Autonomous-VehiclesDataset
nvidia/PhysicalAI-Robotics-Open-H-EmbodimentDataset
nvidia/simready-assetsDataset
nvidia/SAGE-10kDataset
nvidia/PhysicalAI-SmartSpacesDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.