stepfun-ai/StepFun-Formalizer-7B download history
stepfun-ai/StepFun-Formalizer-7B is a 7.6B-parameter text generation model by stepfun-ai. In the last 30 days it was downloaded 379 times (106 in the last 7 days), and 5,224 times in total.
It ranks #89,781 on the Hub by monthly downloads and #21,976 among text generation models.
It has 6 likes.
It is a fine-tune of deepseek-ai/DeepSeek-R1-Distill-Qwen-7B.
3 models build on StepFun-Formalizer-7B: 3 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 2,456 times in the last 30 days. See the StepFun-Formalizer-7B galaxy.
Most downloaded derivatives
- mradermacher/StepFun-Formalizer-7B-i1-GGUF (quantized), 1.3K downloads in 30 days
- mradermacher/StepFun-Formalizer-7B-GGUF (quantized), 568 downloads in 30 days
- tinyopsec/StepFun-Formalizer-7B-GGUF (quantized), 197 downloads in 30 days