Kaiyu Yang

kaiyuy's activity

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

upvoted a paper 13 days ago

MiroEval: Benchmarking Multimodal Deep Research Agents in Process and Outcome

Paper • 2603.28407 • Published 16 days ago • 68

upvoted a paper 28 days ago

MiroThinker-1.7 & H1: Towards Heavy-Duty Research Agents via Verification

Paper • 2603.15726 • Published 30 days ago • 185

upvoted a collection 12 months ago

Qwen3

Collection

84 items • Updated Dec 31, 2025 • 1.75k

upvoted an article 12 months ago

view article

Article

The N Implementation Details of RLHF with PPO

• 
• 
• +1

Oct 24, 2023

•

72

upvoted a collection over 1 year ago

LeanDojo

Collection

Machine learning for theorem proving in Lean: https://leandojo.org/ • 10 items • Updated Jul 23, 2024 • 2