Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
reaperdoesntknow
/
SMOLM2Prover
like
1
Text Generation
Transformers
Safetensors
AI-MO/NuminaMath-1.5
English
llama
proof
cot
reasoning
math
calculus
logic
sft
trl
Generated from Trainer
finetune
symbioticai
conversational
text-generation-inference
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Train
Deploy
Use this model
ec45f31
SMOLM2Prover
1.52 kB
1 contributor
History:
1 commit
reaperdoesntknow
initial commit
ec45f31
verified
about 2 months ago
.gitattributes
Safe
1.52 kB
initial commit
about 2 months ago
