Wuyang Chen

wuyangchen's activity

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

updated a Space about 12 hours ago

Running

2

Lean Refactor Arena

🌖

2

Leaderboard for multi-objective Lean 4 proof refactoring

liked a Space 9 days ago

Running

Agents

16

Lean Finder

👁

16

Code search for Lean 4

liked a Space about 2 months ago

Running

2

Lean Refactor Arena

🌖

2

Leaderboard for multi-objective Lean 4 proof refactoring

authored a paper about 2 months ago

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

Paper • 2605.20244 • Published May 18 • 4

upvoted a paper about 2 months ago

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

Paper • 2605.20244 • Published May 18 • 4

submitted a paper to Daily Papers about 2 months ago

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

Paper • 2605.20244 • Published May 18 • 4

upvoted a paper about 2 months ago

Lean Finder: Semantic Search for Mathlib That Understands User Intents

Paper • 2510.15940 • Published Oct 8, 2025 • 1

liked a Space 2 months ago

Running on CPU Upgrade

Agents

102

DABstep Leaderboard

🕺

102

DABstep Reasoning Benchmark Leaderboard

liked a Space 4 months ago

Running on CPU Upgrade

Featured

3.24k

The Smol Training Playbook

📚

3.24k

The secrets to building world-class LLMs

liked a dataset 7 months ago

google/bigbench

Updated Jan 18, 2024 • 610 • 72

liked a model 8 months ago

Qwen/Qwen-Image-Edit

Image-to-Image • 20B • Updated Aug 25, 2025 • 88.4k • • 2.45k

authored 2 papers 9 months ago

Hybrid Neural-MPM for Interactive Fluid Simulations in Real-Time

Paper • 2505.18926 • Published May 25, 2025 • 20

Lean Finder: Semantic Search for Mathlib That Understands User Intents

Paper • 2510.15940 • Published Oct 8, 2025 • 1

authored a paper 10 months ago

WildSmoke: Ready-to-Use Dynamic 3D Smoke Assets from a Single Video in the Wild

Paper • 2509.11114 • Published Sep 14, 2025 • 3

upvoted a paper 10 months ago

WildSmoke: Ready-to-Use Dynamic 3D Smoke Assets from a Single Video in the Wild

Paper • 2509.11114 • Published Sep 14, 2025 • 3

liked a model 12 months ago

openai/gpt-oss-120b

Text Generation • 120B • Updated Aug 26, 2025 • 4.5M • • 5k

liked a dataset about 1 year ago

qihoo360/WISA-80K

Viewer • Updated Aug 1, 2025 • 79.5k • 1.43k • 13

upvoted a paper about 1 year ago

Hybrid Neural-MPM for Interactive Fluid Simulations in Real-Time

Paper • 2505.18926 • Published May 25, 2025 • 20

commented a paper about 1 year ago

Hybrid Neural-MPM for Interactive Fluid Simulations in Real-Time

Paper • 2505.18926 • Published May 25, 2025 • 20 •

3

liked a dataset over 1 year ago

delta-lab-ai/pde-controller

Preview • Updated Feb 18, 2025 • 505 • 3