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
Deploy
Use this model
main
SMOLM2Prover
/
model.safetensors
Commit History
Upload LlamaForCausalLM
19baae6
verified
reaperdoesntknow
commited on
Sep 6, 2025
