Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
3
5
5
Thomas Zhu
hanwenzhu
Follow
allanjie's profile picture
qinghua-zhou's profile picture
wellyzhangc's profile picture
5 followers
·
18 following
https://thomaszhu.cn
AI & ML interests
Automated Theorem Proving
Organizations
hanwenzhu
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
5 months ago
l3lab/lean-premises
Updated
May 21, 2025
•
689
•
2
liked
a dataset
8 months ago
futurex-ai/Futurex-Online
Viewer
•
Updated
5 days ago
•
75
•
1.29k
•
18
liked
a model
8 months ago
deepseek-ai/DeepSeek-V3.1-Base
Text Generation
•
Updated
Aug 26, 2025
•
6.67k
•
1.01k
liked
a dataset
9 months ago
l3lab/miniCTX-v2
Viewer
•
Updated
Jul 22, 2025
•
668
•
309
•
3
liked
a dataset
over 1 year ago
l3lab/miniCTX
Viewer
•
Updated
Feb 12, 2025
•
662
•
202
•
3