AI & ML interests
None defined yet.
Recent Activity
View all activity
-
stepfun-ai/StepFun-Formalizer-7B
Text Generation • 8B • Updated • 190 • 5 -
stepfun-ai/StepFun-Formalizer-32B
Text Generation • 33B • Updated • 95 • 8 -
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
Paper • 2508.04440 • Published • 9 -
stepfun-ai/StepFun-Formalizer-Training
Viewer • Updated • 188k • 127 • 2
Step-Audio model family, including Audio-Tokenizer, Audio-Chat and TTS
-
stepfun-ai/StepFun-Formalizer-7B
Text Generation • 8B • Updated • 190 • 5 -
stepfun-ai/StepFun-Formalizer-32B
Text Generation • 33B • Updated • 95 • 8 -
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
Paper • 2508.04440 • Published • 9 -
stepfun-ai/StepFun-Formalizer-Training
Viewer • Updated • 188k • 127 • 2
Step-Audio model family, including Audio-Tokenizer, Audio-Chat and TTS