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
19baae6
SMOLM2Prover
1.45 GB
1 contributor
History:
2 commits
reaperdoesntknow
Upload LlamaForCausalLM
19baae6
verified
2 months ago
.gitattributes
Safe
1.52 kB
initial commit
2 months ago
README.md
Safe
5.18 kB
Upload LlamaForCausalLM
2 months ago
config.json
Safe
742 Bytes
Upload LlamaForCausalLM
2 months ago
generation_config.json
Safe
142 Bytes
Upload LlamaForCausalLM
2 months ago
model.safetensors
1.45 GB
xet
Upload LlamaForCausalLM
2 months ago
