Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
3
5
5
Thomas Zhu
hanwenzhu
Follow
wellyzhangc's profile picture
allanjie's profile picture
ridger'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
liked
a dataset
3 months ago
l3lab/lean-premises
Updated
May 21, 2025
•
15
•
2
liked
a dataset
6 months ago
futurex-ai/Futurex-Online
Viewer
•
Updated
18 days ago
•
82
•
356
•
14
liked
a model
6 months ago
deepseek-ai/DeepSeek-V3.1-Base
Text Generation
•
Updated
Aug 26, 2025
•
20k
•
1.01k
liked
a dataset
8 months ago
l3lab/miniCTX-v2
Viewer
•
Updated
Jul 22, 2025
•
668
•
120
•
3
liked
a dataset
over 1 year ago
l3lab/miniCTX
Viewer
•
Updated
Feb 12, 2025
•
662
•
245
•
3