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