The stepfun-ai/StepFun-Formalizer-7B galaxy

3 models are built on stepfun-ai/StepFun-Formalizer-7B: 3 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 2,394 times in the last 30 days.

Most downloaded direct derivatives

• mradermacher/StepFun-Formalizer-7B-i1-GGUF (quantized), 1.3K downloads in 30 days
• mradermacher/StepFun-Formalizer-7B-GGUF (quantized), 543 downloads in 30 days
• tinyopsec/StepFun-Formalizer-7B-GGUF (quantized), 197 downloads in 30 days