Article
Kimina-Prover-RL
•
12
Xiaohan Lin
XiaoHLim
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 22 hours ago
Kimi K2.5: Visual Agentic Intelligence
liked
a model
8 days ago
moonshotai/Kimi-K2.5
published
an
article
6 months ago
Kimina-Prover-RL
Organizations
published
an
article
6 months ago
published
an
article
7 months ago
Article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
•
54