Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
reaperdoesntknow
/
SMOLM2Prover-GGUF
like
0
Text Generation
Transformers
GGUF
AI-MO/NuminaMath-1.5
English
proof
cot
reasoning
math
calculus
logic
sft
trl
Generated from Trainer
finetune
symbioticai
conversational
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
SMOLM2Prover-GGUF
Commit History
Update README.md
1d21ca3
verified
reaperdoesntknow
commited on
8 days ago
Upload folder using huggingface_hub
d092982
verified
reaperdoesntknow
commited on
8 days ago
initial commit
b563b64
verified
reaperdoesntknow
commited on
8 days ago