stepfun-ai/StepFun-Formalizer-Training download history

stepfun-ai/StepFun-Formalizer-Training is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 120 times (22 in the last 7 days), and 1,948 times in total. It ranks #99,950 among datasets by monthly downloads.

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion       Introduction This repository includes the Stage-1 SFT and RL training data of StepFun-Formalizer: NuminaMath-Formal-SFT-183K: Informal-formal

Models trained on StepFun-Formalizer-Training

6 models list it as training data.

• mradermacher/StepFun-Formalizer-7B-i1-GGUF 1.3K downloads in 30 days
• mradermacher/StepFun-Formalizer-32B-i1-GGUF 983 downloads in 30 days
• mradermacher/StepFun-Formalizer-7B-GGUF 543 downloads in 30 days
• stepfun-ai/StepFun-Formalizer-7B 382 downloads in 30 days
• mradermacher/StepFun-Formalizer-32B-GGUF 378 downloads in 30 days
• stepfun-ai/StepFun-Formalizer-32B 226 downloads in 30 days

Open stepfun-ai/StepFun-Formalizer-Training on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.