Yutong Wu

wyt2000's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked 2 datasets 5 months ago

Goedel-LM/Goedel-Pset-v1

Viewer • Updated Apr 18 • 1.73M • 340 • 9

WhiteGiverPlus/mathlib4

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

liked a dataset 6 months ago

Inuyasha2023ch/LeanStatement

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

liked a dataset 12 months ago

l3lab/ntp-mathlib-instruct-context-fullproof

Viewer • Updated Sep 6, 2024 • 144k • 29 • 1

liked a model about 1 year ago

1bitLLM/bitnet_b1_58-xl

Text Generation • 1B • Updated Mar 29, 2024 • 107 • 36

liked a dataset over 1 year ago

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

Viewer • Updated Dec 4, 2023 • 75.2k • 774 • 154