Wuyang Chen's picture

Wuyang Chen

wuyangchen

·

https://delta-lab-ai.github.io/

AI & ML interests

None yet

Recent Activity

liked a Space about 1 month ago

delta-lab-ai/lean-refactor-arena

authored a paper about 1 month ago

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

upvoted a paper about 1 month ago

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

View all activity

Organizations

wuyangchen 's models

None public yet