Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
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
4
5
6
Follow
qinghua-zhou's profile picture
allanjie's profile picture
ridger's profile picture
6 followers
·
18 following
https://thomaszhu.cn
AI & ML interests
Automated Theorem Proving
Organizations
None yet
hanwenzhu
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a model
6 months ago
deepseek-ai/DeepSeek-V4-Pro
Text Generation
•
1.6T
•
Updated
Jun 22
•
408k
•
•
5.65k
liked
a dataset
11 months ago
l3lab/lean-premises
Updated
May 21, 2025
•
139
•
3
liked
a dataset
about 1 year ago
futurex-ai/Futurex-Online
Viewer
•
Updated
5 days ago
•
80
•
904
•
26
liked
a model
about 1 year ago
deepseek-ai/DeepSeek-V3.1-Base
Text Generation
•
685B
•
Updated
Aug 26, 2025
•
10.1k
•
1.01k
liked
a dataset
about 1 year ago
l3lab/miniCTX-v2
Viewer
•
Updated
Jul 22, 2025
•
668
•
136
•
3
liked
a dataset
almost 2 years ago
l3lab/miniCTX
Viewer
•
Updated
Feb 12, 2025
•
662
•
756
•
3