Wuyang Chen

wuyangchen's activity

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

liked a model 2 months ago

delta-lab-ai/lean-finder-v2-preview

8B • Updated Sep 3 • 9 • 2

liked a Space 4 months ago

Running

Agents

16

Lean Finder

👁

16

Code search for Lean 4

liked a Space 5 months ago

Running

9

Lean Refactor Arena

🌖

9

Two-track multi-objective Lean 4 proof refactoring

liked a Space 6 months ago

Running on CPU Upgrade

Agents

109

DABstep Leaderboard

🕺

109

DABstep Reasoning Benchmark Leaderboard

liked a Space 7 months ago

Running on CPU Upgrade

Featured

3.34k

The Smol Training Playbook

📚

3.34k

The secrets to building world-class LLMs

liked a dataset 10 months ago

google/bigbench

Updated Jan 18, 2024 • 396 • 74

liked a model 12 months ago

Qwen/Qwen-Image-Edit

Image-to-Image • 20B • Updated Aug 25, 2025 • 137k • • 2.57k

liked a model about 1 year ago

openai/gpt-oss-120b

Text Generation • 117B • Updated Aug 26, 2025 • 2.55M • • 5.47k

liked 2 datasets over 1 year ago

qihoo360/WISA-80K

Viewer • Updated Aug 1, 2025 • 79.5k • 3.58k • 16

delta-lab-ai/pde-controller

Preview • Updated Feb 18, 2025 • 406 • 3

liked a model almost 2 years ago

nvidia/Nemotron-Mini-4B-Instruct

Text Generation • Updated Feb 14, 2025 • 23.6k • 192