Article
Kimina-Prover-RL
AI-MO
• • 17
Xiaohan Lin
XiaoHLim
AI & ML interests
None yet
Recent Activity
upvoted a paper 1 day ago
Kimi K3: Open Frontier Intelligence liked a model 1 day ago
moonshotai/Kimi-K3 upvoted a paper 6 months ago
Kimi K2.5: Visual Agentic IntelligenceOrganizations
published an article 12 months ago
published an article about 1 year ago
Article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
AI-MO
• • 56