{"id":"e99a4534-4907-4685-b403-770d1c337725","slug":"hf-model-tinyopsec-stepfun-formalizer-7b-gguf-kd3rkd-10","name":"StepFun-Formalizer-7B-GGUF","description":"Hugging Face model tinyopsec/StepFun-Formalizer-7B-GGUF. Task: text generation. Library: gguf. 209 downloads.","capabilities":["gguf","qwen2","chat","math","autoformalization","lean4","text-generation","en","arxiv:2508.04440","base_model:stepfun-ai/StepFun-Formalizer-7B","base_model:quantized:stepfun-ai/StepFun-Formalizer-7B","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":39,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:08.165Z"}