StepFun-Formalizer-7B — LLM for Productivity | Genaihub