Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

reaperdoesntknow
/
SMOLM2Prover-GGUF

Text Generation
Transformers
GGUF
English
proof
cot
reasoning
math
calculus
logic
sft
trl
Generated from Trainer
finetune
symbioticai
conversational
Model card Files Files and versions
xet
Community
SMOLM2Prover-GGUF
996 MB
  • 1 contributor
History: 3 commits
reaperdoesntknow's picture
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