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
•
124
•
2
liked
a dataset
8 months ago
futurex-ai/Futurex-Online
Viewer
•
Updated
4 days ago
•
70
•
2.1k
•
18
liked
a model
8 months ago
deepseek-ai/DeepSeek-V3.1-Base
Text Generation
•
Updated
Aug 26, 2025
•
6.81k
•
1.01k
liked
a dataset
10 months ago
l3lab/miniCTX-v2
Viewer
•
Updated
Jul 22, 2025
•
668
•
273
•
3
liked
a dataset
over 1 year ago
l3lab/miniCTX
Viewer
•
Updated
Feb 12, 2025
•
662
•
207
•
3