Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
3
2
Haiming Wang
HaimingW
Follow
dark-pen's profile picture
floodsung's profile picture
Stars321123's profile picture
17 followers
·
39 following
AI & ML interests
None yet
Organizations
HaimingW
's datasets
5
Sort: Recently updated
HaimingW/miniF2F-test-lean4
Viewer
•
Updated
Feb 16, 2025
•
244
•
23
•
1
HaimingW/test-statements-miniF2F-test
Viewer
•
Updated
Jan 14, 2025
•
244
•
3
HaimingW/PutnamBench-lean4
Viewer
•
Updated
Jan 3, 2025
•
644
•
95
•
1
HaimingW/proofnet-lean4
Viewer
•
Updated
Nov 25, 2024
•
438
•
33
HaimingW/miniF2F-lean4
Viewer
•
Updated
Nov 25, 2024
•
555
•
128
