Wuyang Chen

wuyangchen's activity

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

liked a Space 4 days ago

Running

2

Lean Refactor Arena

🌖

2

Leaderboard for multi-objective Lean 4 proof refactoring

authored a paper 4 days ago

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

Paper • 2605.20244 • Published 8 days ago • 2

upvoted a paper 4 days ago

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

Paper • 2605.20244 • Published 8 days ago • 2

submitted a paper to Daily Papers 4 days ago

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

Paper • 2605.20244 • Published 8 days ago • 2

upvoted a paper 4 days ago

Lean Finder: Semantic Search for Mathlib That Understands User Intents

Paper • 2510.15940 • Published Oct 8, 2025 • 1

liked a Space 15 days ago

Runtime error

Agents

98

DABstep Leaderboard

🕺

98

DABstep Reasoning Benchmark Leaderboard

liked a Space about 2 months ago

Running on CPU Upgrade

Featured

3.19k

The Smol Training Playbook

📚

3.19k

The secrets to building world-class LLMs

liked a dataset 5 months ago

google/bigbench

Updated Jan 18, 2024 • 950 • 72

liked a model 7 months ago

Qwen/Qwen-Image-Edit

Image-to-Image • Updated Aug 25, 2025 • 67.2k • • 2.4k

authored 2 papers 7 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 8 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 8 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 10 months ago

openai/gpt-oss-120b

Text Generation • 120B • Updated Aug 26, 2025 • 5.06M • • 4.81k

liked a Space 10 months ago

Running

Agents

16

Lean Finder

👁

16

Code search for Lean 4

liked a dataset 12 months ago

qihoo360/WISA-80K

Viewer • Updated Aug 1, 2025 • 79.5k • 3.13k • 12

upvoted a paper 12 months ago

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

Paper • 2505.18926 • Published May 25, 2025 • 20

commented a paper 12 months ago

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

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

3

liked a dataset about 1 year ago

delta-lab-ai/pde-controller

Preview • Updated Feb 18, 2025 • 137 • 3

New activity in delta-lab-ai/pde-controller over 1 year ago

upload SFT data

#2 opened over 1 year ago by

jsong2333333