Howard Liu

Madao0830's activity

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

upvoted a paper 13 days ago

Lean4AgenticRL: Advancing Agentic RL with Verifiable Multi-level Process Rewards

Paper • 2610.22448 • Published 19 days ago • 25

upvoted 2 papers 6 months ago

Recursive Multi-Agent Systems

Paper • 2604.25917 • Published Jul 13 • 160

AgentSPEX: An Agent SPecification and EXecution Language

Paper • 2604.13346 • Published Apr 14 • 63

upvoted a paper 11 months ago

V-ReasonBench: Toward Unified Reasoning Benchmark Suite for Video Generation Models

Paper • 2511.16668 • Published Nov 20, 2025 • 56

upvoted a paper about 1 year ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

Paper • 2510.11769 • Published Oct 13, 2025 • 26

upvoted a paper over 1 year ago

Chain-of-Experts: Unlocking the Communication Power of Mixture-of-Experts Models

Paper • 2506.18945 • Published Jun 23, 2025 • 43