Xiaohan Lin

XiaoHLim's activity

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

upvoted a paper 3 months ago

Kimi K2.5: Visual Agentic Intelligence

Paper • 2602.02276 • Published Feb 2 • 268

liked a model 3 months ago

moonshotai/Kimi-K2.5

Image-Text-to-Text • 1.1T • Updated about 1 hour ago • 4.32M • • 2.77k

published an article 9 months ago

view article

Article

Kimina-Prover-RL

• 

Aug 14, 2025

•

16

upvoted an article 10 months ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

• 

Jul 10, 2025

•

55

published an article 10 months ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

• 

Jul 10, 2025

•

55