Wuyang Chen

Wuyang Chen on Hugging Face Daily Papers: 4 papers, 0 in the top 3 of their day, 36 upvotes.

1. Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search 4 upvotes, #39 of 2026-05-22
2. WildSmoke: Ready-to-Use Dynamic 3D Smoke Assets from a Single Video in the Wild 3 upvotes, #15 of 2025-09-18
3. Hybrid Neural-MPM for Interactive Fluid Simulations in Real-Time 17 upvotes, #21 of 2025-05-27
4. PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs 16 upvotes, #12 of 2025-02-13

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.