Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
stepfun-ai
/
StepFun-Formalizer-32B
like
10
Follow
StepFun
1.84k
Text Generation
Transformers
Safetensors
stepfun-ai/StepFun-Formalizer-Training
English
qwen2
chat
conversational
text-generation-inference
arxiv:
2508.04440
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
StepFun-Formalizer-32B
Commit History
Update README.md
f560f34
verified
wyt2000
commited on
Oct 13, 2025
Upload folder using huggingface_hub
03b457d
verified
wyt2000
commited on
Aug 20, 2025
Delete asserts
3822b25
verified
wyt2000
commited on
Aug 20, 2025
Upload ./README.md with huggingface_hub
7c2fbfa
verified
wyt2000
commited on
Aug 20, 2025
Upload folder using huggingface_hub
2c2d762
verified
wyt2000
commited on
Aug 20, 2025
Add files using upload-large-folder tool
3f3505a
verified
wyt2000
commited on
Aug 20, 2025
initial commit
063a549
verified
wyt2000
commited on
Aug 19, 2025