StepFun-Formalizer-7B-i1-GGUF

mradermacher/StepFun-Formalizer-7B-i1-GGUF

transformersLicense: apache-2.0
Tracked by OpenModelStats since September 30, 2026View on Hugging Face ↗
Downloads 30D
1,264
Total downloads
8,766
Gained 7D
+229(increase)
2.8%(up) vs baseline
Gained 30D
—
Likes
1
+0 in 7D
Rank · tracked models
#30,666
288(down 288 places)this week
Parameters
—
Last source update
Dec 8, 2025
Momentum
45.0
  • StepFun-Formalizer-7B-i1-GGUF gained 229 downloads during the last seven tracked days.

Downloads over time

Cumulative total downloads observed by OpenModelStats

Likes over time

Rank among tracked models

Lower is better

Overview

StepFun-Formalizer-7B-i1-GGUF is an AI model published by mradermacher. OpenModelStats has tracked the model since Sep 30, 2026, most recently observing it 30h ago.

Published
Oct 14, 2025
Last updated
Dec 8, 2025
Library
transformers
License
apache-2.0
Task
—
Parameters
—
Spaces
0
Derivative models
—
Velocity 7D/day
33
transformersggufchatendataset:stepfun-ai/StepFun-Formalizer-Trainingbase_model:stepfun-ai/StepFun-Formalizer-7Bbase_model:quantized:stepfun-ai/StepFun-Formalizer-7Blicense:apache-2.0endpoints_compatibleregion:usimatrixconversational

Model family

Based on base-model relationships reported by the source's metadata.

Similar models

Models similar to StepFun-Formalizer-7B-i1-GGUF
ModelDL 30D
all-MiniLM-L6-v2sentence-transformers235.5M
ms-marco-MiniLM-L6-v2cross-encoder83.8M
bge-small-en-v1.5BAAI62.6M
paraphrase-multilingual-MiniLM-L12-v2sentence-transformers50.7M
electra-base-discriminatorgoogle45.9M
bert-base-uncasedgoogle-bert38.9M
mradermacher/StepFun-Formalizer-7B-i1-GGUF — Downloads, Growth & Stats | OpenModelStats