Is this your dataset? Claim it with the Hugging Face account that owns it.

nvidia/
Nemotron-Math-Proofs-v2

Name: Nemotron-Math-Proofs-v2
Creator: nvidia
License: https://spdx.org/licenses/CC-BY-4.0.html

mathematical-reasoning

Views

No views yet

	Nemotron-Math-Proofs-v2




	


	Dataset Description:

Nemotron-Math-Proofs-v2 is a mathematical proof-generation, verification, and meta-verification trace dataset. The problems are sourced from nvidia/Nemotron-Math-Proofs-v1 only taking the AoPS subset. The release contains 82,737 samples across 5,752 unique problems. For this version, solutions are generated using DeepSeek-V4-Pro on Max inference mode. The generation pipeline produces proofs, verification traces, and… See the full description on the dataset page: https://huggingface.co/datasets/nvidia/Nemotron-Math-Proofs-v2.