Hugging Face model: nguyen599/allenai-Olmo-3.1-32B-Think-aimo-proof-pilot-sft-v2-ckpt-1000-nvfp4-w4a16
Author: nguyen599
Created: 2026-06-24 05:05:02
Last modified: 2026-06-25 07:42:31
Likes: 0 | Downloads: 1
Tags: safetensors, olmo3, math-reasoning, math-proof, en, dataset:nguyen599/AstralMath-v1, dataset:nvidia/Nemotron-Math-Proofs-v2, dataset:nvidia/Nemotron-SFT-Math-v4, base_model:allenai/Olmo-3.1-32B-Think, base_model:quantized:allenai/Olmo-3.1-32B-Think, license:apache-2.0, 8-bit, modelopt, region:us
Base model relation: quantized
Base models: id: allenai/Olmo-3.1-32B-Think
Card metadata:
license: apache-2.0
datasets: nguyen599/AstralMath-v1, nvidia/Nemotron-Math-Proofs-v2, nvidia/Nemotron-SFT-Math-v4
language: en
base_model: allenai/Olmo-3.1-32B-Think
tags: math-reasoning, math-proof