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