Kaiyu Yang

kaiyuy's activity

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

upvoted a paper about 1 month ago

MiroEval: Benchmarking Multimodal Deep Research Agents in Process and Outcome

Paper • 2603.28407 • Published Mar 30 • 70

upvoted a paper about 2 months ago

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

Paper • 2603.15726 • Published Mar 16 • 186

New activity in Goedel-LM/Goedel-Prover-V2-8B 10 months ago

Update README.md

#1 opened 10 months ago by

kaiyuy

New activity in Goedel-LM/Goedel-Prover-V2-32B 10 months ago

Update README.md

1

#1 opened 10 months ago by

kaiyuy

liked 2 models 10 months ago

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated Aug 9, 2025 • 5.27k • • 28

Goedel-LM/Goedel-Prover-V2-32B

Text Generation • Updated Aug 27, 2025 • 7.36k • • 69

liked a Space 10 months ago

Running

Agents

14

Lean Finder

👁

14

Code search for Lean 4

liked a dataset 12 months ago

sunblaze-ucb/verina

Viewer • Updated Jan 5 • 189 • 67 • 8

upvoted a collection about 1 year ago

Qwen3

Collection

84 items • Updated Dec 31, 2025 • 1.78k

upvoted an article about 1 year ago

view article

Article

The N Implementation Details of RLHF with PPO

• 
• 
• +1

vwxyzjn, tianlinliu0121, lvwerra

•

Oct 24, 2023

• 72

upvoted a collection almost 2 years ago

LeanDojo

Collection

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

updated a collection almost 2 years ago

LeanDojo

Collection

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