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
main
SMOLM2Prover
Commit History
Update README.md
4b7693b
verified
reaperdoesntknow
commited on
Sep 6
Update README.md
6411414
verified
reaperdoesntknow
commited on
Sep 6
Update README.md
03dfd0c
verified
reaperdoesntknow
commited on
Sep 6
Update README.md
51c60f4
verified
reaperdoesntknow
commited on
Sep 6
Update README.md
5ac2bdb
verified
reaperdoesntknow
commited on
Sep 6
Update README.md
9f784e2
verified
reaperdoesntknow
commited on
Sep 6
Update README.md
06a90ce
verified
reaperdoesntknow
commited on
Sep 6
Update README.md
4f9bbab
verified
reaperdoesntknow
commited on
Sep 6
Update README.md
69a8c09
verified
reaperdoesntknow
commited on
Sep 6
Upload tokenizer
241a030
verified
reaperdoesntknow
commited on
Sep 6
Upload LlamaForCausalLM
19baae6
verified
reaperdoesntknow
commited on
Sep 6
initial commit
ec45f31
verified
reaperdoesntknow
commited on
Sep 6
