nvidia/Nemotron-Math-Proofs-v2 download history

nvidia/Nemotron-Math-Proofs-v2 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 739 times (117 in the last 7 days), and 19,027 times in total. It ranks #24,438 among datasets by monthly downloads.

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,

Models trained on Nemotron-Math-Proofs-v2

1 models list it as training data.

• nguyen599/allenai-Olmo-3.1-32B-Think-aimo-proof-pilot-sft-v2-ckpt-1000-nvfp4-w4a16 0 downloads in 30 days

Open nvidia/Nemotron-Math-Proofs-v2 on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.