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
996 MB
1 contributor
History:
3 commits
reaperdoesntknow
Update README.md
1d21ca3
verified
8 days ago
.gitattributes
1.63 kB
Upload folder using huggingface_hub
8 days ago
README.md
1.66 kB
Update README.md
8 days ago
SMOLM2Prover-Q4_K_M.gguf
271 MB
xet
Upload folder using huggingface_hub
8 days ago
SMOLM2Prover.gguf
726 MB
xet
Upload folder using huggingface_hub
8 days ago