Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
3
5
5
Thomas Zhu
hanwenzhu
Follow
Gangtiechipangzi's profile picture
ridger's profile picture
wellyzhangc's profile picture
4 followers
·
18 following
https://thomaszhu.cn
AI & ML interests
Automated Theorem Proving
Organizations
hanwenzhu
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
New activity in
AI-MO/minif2f_test
10 months ago
Fix mathd_algebra_275
#5 opened 10 months ago by
hanwenzhu
Fix mathd_algebra_275
#4 opened 10 months ago by
hanwenzhu
New activity in
l3lab/miniCTX
about 1 year ago
Add validation set
#2 opened about 1 year ago by
hanwenzhu
Add validation set
#2 opened about 1 year ago by
hanwenzhu
Load more