Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Thomas Zhu
hanwenzhu
3
5
6
Follow
wellyzhangc's profile picture
qinghua-zhou's profile picture
Gangtiechipangzi'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 model
2 months ago
deepseek-ai/DeepSeek-V4-Pro
Text Generation
•
862B
•
Updated
10 days ago
•
1.17M
•
•
5.13k
liked
a dataset
7 months ago
l3lab/lean-premises
Updated
May 21, 2025
•
124
•
3
liked
a dataset
10 months ago
futurex-ai/Futurex-Online
Viewer
•
Updated
4 days ago
•
76
•
1.02k
•
21
liked
a model
11 months ago
deepseek-ai/DeepSeek-V3.1-Base
Text Generation
•
685B
•
Updated
Aug 26, 2025
•
8.89k
•
1.01k
liked
a dataset
12 months ago
l3lab/miniCTX-v2
Viewer
•
Updated
Jul 22, 2025
•
668
•
53
•
3
liked
a dataset
over 1 year ago
l3lab/miniCTX
Viewer
•
Updated
Feb 12, 2025
•
662
•
626
•
3