stepfun-ai/StepFun-Formalizer-32B download history
stepfun-ai/StepFun-Formalizer-32B is a 32.8B-parameter text generation model by stepfun-ai. In the last 30 days it was downloaded 227 times (76 in the last 7 days), and 2,314 times in total.
It ranks #126,495 on the Hub by monthly downloads and #32,263 among text generation models.
It has 11 likes.
It is a fine-tune of deepseek-ai/DeepSeek-R1-Distill-Qwen-32B.
2 models build on StepFun-Formalizer-32B: 2 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 1,630 times in the last 30 days. See the StepFun-Formalizer-32B galaxy.
Most downloaded derivatives
- mradermacher/StepFun-Formalizer-32B-i1-GGUF (quantized), 1K downloads in 30 days
- mradermacher/StepFun-Formalizer-32B-GGUF (quantized), 392 downloads in 30 days