{"id":"1fd7e818-a5ea-4294-8c34-3e38393e654e","slug":"hf-model-stepfun-ai-stepfun-formalizer-7b-xktimt-w","name":"StepFun-Formalizer-7B","description":"Hugging Face model stepfun-ai/StepFun-Formalizer-7B. Task: text generation. Library: transformers. 374 downloads. 6 likes.","capabilities":["transformers","safetensors","qwen2","text-generation","chat","conversational","en","dataset:stepfun-ai/StepFun-Formalizer-Training","arxiv:2508.04440","base_model:deepseek-ai/DeepSeek-R1-Distill-Qwen-7B","base_model:finetune:deepseek-ai/DeepSeek-R1-Distill-Qwen-7B","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":40.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:43.749Z"}