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
/
merges.txt
reaperdoesntknow
Upload tokenizer
241a030
verified
29 days ago
raw
Copy download link
history
contribute
delete
Safe
466 kB
File too large to display, you can
check the raw version
instead.
