Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Edit Datasets filters
Main
Tasks
Libraries
Languages
Licenses
Other
1
Reset Other
hugr
Synthetic
art
medical
code
biology
finance
legal
chemistry
agent
music
climate
Apply filters
Datasets
2
Full-text search
Edit filters
Sort: Trending
Active filters:
Lean4
Clear all
stepfun-ai/StepFun-Formalizer-Training
Viewer
•
Updated
Oct 13, 2025
•
188k
•
100
•
5
Pythagoras-LM/SFT_Dataset
Viewer
•
Updated
20 days ago
•
126k
•
306
•
9
