StepFun-Formalizer-7B-i1-GGUF

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

transformersLicense: apache-2.0
Tracked by OpenModelStats since September 4, 2026View on Hugging Face ↗
Downloads 30D
1,312
Total downloads
8,721
Gained 7D
+229(increase)
2.8%(up) vs baseline
Gained 30D
—
Likes
1
+0 in 7D
Rank · tracked models
#29,656
447(down 447 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 4, 2026, most recently observing it Oct 3, 2026.

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-transformers237.1M
ms-marco-MiniLM-L6-v2cross-encoder84.5M
bge-small-en-v1.5BAAI62.7M
paraphrase-multilingual-MiniLM-L12-v2sentence-transformers51.4M
electra-base-discriminatorgoogle46M
bert-base-uncasedgoogle-bert38.9M
mradermacher/StepFun-Formalizer-7B-i1-GGUF — Downloads, Growth & Stats | OpenModelStats