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
Yutong Wu's picture
3 3 7

Yutong Wu

wyt2000
John6666's profile picture NikolayKozloff's profile picture gentlebowl's profile picture
·
https://github.com/wyt2000

AI & ML interests

Large Language Models; Formal Verification; Program Synthesis

Organizations

None yet

liked a dataset 5 months ago

vkenbeek/verilog-wavedrom

Viewer • Updated May 3, 2024 • 92.3k • 90 • 6
liked 2 datasets about 1 year ago

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18, 2025 • 1.73M • 366 • 13

WhiteGiverPlus/mathlib4

Viewer • Updated Aug 8, 2024 • 4.64k • 60 • 1
liked 2 datasets over 1 year ago

Inuyasha2023ch/LeanStatement

Viewer • Updated Sep 1, 2024 • 90.9k • 10 • 2

l3lab/ntp-mathlib-instruct-context-fullproof

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

1bitLLM/bitnet_b1_58-xl

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

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

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