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
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
Yutong Wu's picture

Yutong Wu

wyt2000
3 3 7
21world's profile picture NikolayKozloff's profile picture Gargaz's profile picture
·
https://github.com/wyt2000

AI & ML interests

Large Language Models; Formal Verification; Program Synthesis

Organizations

None yet

liked a dataset 6 months ago

vkenbeek/verilog-wavedrom

Viewer • Updated May 3, 2024 • 92.3k • 227 • 7
liked 3 datasets over 1 year ago

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18, 2025 • 1.73M • 331 • 14

WhiteGiverPlus/mathlib4

Viewer • Updated Aug 8, 2024 • 4.64k • 12 • 1

Inuyasha2023ch/LeanStatement

Viewer • Updated Sep 1, 2024 • 90.9k • 12 • 2
liked a dataset almost 2 years ago

l3lab/ntp-mathlib-instruct-context-fullproof

Viewer • Updated Sep 6, 2024 • 144k • 50 • 1
liked a model about 2 years ago

1bitLLM/bitnet_b1_58-xl

Text Generation • 1B • Updated Mar 29, 2024 • 30 • 39
liked a dataset about 2 years ago

ise-uiuc/Magicoder-OSS-Instruct-75K

Viewer • Updated Dec 4, 2023 • 75.2k • 31.8k • 167
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs