Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
lm-provers
/
QED-Nano-SFT
like
4
Follow
LM Provers
45
Text Generation
Transformers
Safetensors
lm-provers/FineProofs-SFT
qwen3
math
reasoning
olympiad
proof-generation
sft
distillation
conversational
text-generation-inference
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
QED-Nano-SFT
/
tokenizer.json
Commit History
Upload tokenizer
d54a5fa
verified
edbeeching
HF Staff
commited on
11 days ago
edbeeching
HF Staff
commited on
