Hugging Face's logo 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's picture

Thomas Zhu

hanwenzhu
3 5 6
wellyzhangc's profile picture qinghua-zhou's profile picture Gangtiechipangzi's profile picture
·
https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Organizations

L3 Lab's profile picture

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
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs