Wuyang Chen

wuyangchen's activity

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

liked a Space 7 days ago

Running

2

2

Lean Finder

👁

Code search for Lean 4

liked a dataset about 1 month ago

qihoo360/WISA-80K

Viewer • Updated May 16 • 81.3k • 581 • 5

liked a dataset 4 months ago

delta-lab-ai/pde-controller

Preview • Updated Feb 18 • 65 • 2

liked a model 7 months ago

nvidia/Nemotron-Mini-4B-Instruct

Text Generation • Updated Feb 14 • 4.53k • 167

liked a Space 9 months ago

Running

2

2

Search Mathlib

🔥

Search for theorems and definitions in Mathlib and Lean4.