StepFun-Formalizer - a stepfun-ai Collection

stepfun-ai 's Collections

StepFun-Formalizer

StepFun-Prover Preview

Step3

StepFun-Formalizer

updated 20 days ago

stepfun-ai/StepFun-Formalizer-7B

Text Generation • 8B • Updated 20 days ago • 192 • 5
stepfun-ai/StepFun-Formalizer-32B

Text Generation • 33B • Updated 20 days ago • 97 • 8
StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

Paper • 2508.04440 • Published Aug 6 • 9
stepfun-ai/StepFun-Formalizer-Training

Viewer • Updated 20 days ago • 188k • 128 • 2