Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
1
1
Haiming Wang
HaimingW
Follow
21world's profile picture
1 follower
·
38 following
AI & ML interests
None yet
Recent Activity
updated
a dataset
30 days ago
HaimingW/proofnet-lean4
updated
a dataset
30 days ago
HaimingW/miniF2F-lean4
View all activity
Organizations
models
1
HaimingW/Leandojo-CodeLLama-7b
Text Generation
•
Updated
May 29
•
8
datasets
2
Sort: Recently updated
HaimingW/proofnet-lean4
Viewer
•
Updated
30 days ago
•
438
•
29
HaimingW/miniF2F-lean4
Viewer
•
Updated
30 days ago
•
555
•
253