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
John6666's profile picture 21world's profile picture NikolayKozloff'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 • 236 • 7
liked a dataset about 1 year ago

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18, 2025 • 1.73M • 261 • 14
liked 2 datasets over 1 year ago

WhiteGiverPlus/mathlib4

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

Inuyasha2023ch/LeanStatement

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

l3lab/ntp-mathlib-instruct-context-fullproof

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

1bitLLM/bitnet_b1_58-xl

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

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

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