Wuyang Chen

wuyangchen's activity

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

upvoted 2 papers about 2 months ago

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

Paper • 2605.20244 • Published May 18 • 4

Lean Finder: Semantic Search for Mathlib That Understands User Intents

Paper • 2510.15940 • Published Oct 8, 2025 • 1

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

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

upvoted 2 papers over 1 year ago

PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs

Paper • 2502.00963 • Published Feb 3, 2025 • 16

Mix-LN: Unleashing the Power of Deeper Layers by Combining Pre-LN and Post-LN

Paper • 2412.13795 • Published Dec 18, 2024 • 20