rkumar1999
/
Llama3.2-3B-Prover-openr1-distill-SFT

Model card Files Files and versions
xet
Metrics Training metrics Community