Nemotron Math Proofs v3 SFT | Ploba