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
convergentintel
conversational
text-generation-inference
Model card Files
xet
 Community
SMOLM2Prover / tokenizer.json
reaperdoesntknow's picture
reaperdoesntknow
Upload tokenizer
241a030 verified
raw
history
3.52 MB
File too large to display, you can check the raw version instead.