Wuyang Chen

wuyangchen's activity

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

liked a dataset 8 days ago

google/bigbench

Updated Jan 18, 2024 • 397 • 64

liked a model about 2 months ago

Qwen/Qwen-Image-Edit

Image-to-Image • Updated Aug 25, 2025 • 46.1k • • 2.24k

liked a model 5 months ago

openai/gpt-oss-120b

Text Generation • 120B • Updated Aug 26, 2025 • 3.57M • • 4.31k

liked a Space 5 months ago

Running

12

Lean Finder

👁

12

Code search for Lean 4

liked a dataset 7 months ago

qihoo360/WISA-80K

Viewer • Updated Aug 1, 2025 • 79.5k • 1.42k • 9

liked a dataset 10 months ago

delta-lab-ai/pde-controller

Preview • Updated Feb 18, 2025 • 457 • 3

liked a model about 1 year ago

nvidia/Nemotron-Mini-4B-Instruct

Text Generation • Updated Feb 14, 2025 • 5.62k • 173

liked a Space about 1 year ago

Sleeping

2

Search Mathlib

🔥

2

Search for theorems and definitions in Mathlib and Lean4.