Xiaohan Lin

XiaoHLim

4 4

·

XiaoHLim

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago

Kimi K3: Open Frontier Intelligence

liked a model 3 days ago

moonshotai/Kimi-K3

upvoted a paper 6 months ago

Kimi K2.5: Visual Agentic Intelligence

View all activity

Organizations

Articles 2

Article

17

Kimina-Prover-RL

Article

56

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

View all Articles

models 0

None public yet

datasets 1

XiaoHLim/PutnamBench

Viewer • Updated Jan 2, 2025 • 522 • 20