Hugging Face's logo

reaperdoesntknow
/
SMOLM2Prover

Text Generation
Transformers
Safetensors
English
llama
proof
cot
reasoning
math
calculus
logic
sft
trl
Generated from Trainer
finetune
symbioticai
conversational
text-generation-inference
Model card Files
xet
Community
SMOLM2Prover
  • 1 contributor
 History: 12 commits
reaperdoesntknow's picture
reaperdoesntknow
Update README.md
4b7693b verified