Article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
By
and 17 others
•
•
48Zhengying Liu
evariste-liu
AI & ML interests
None yet
Recent Activity
published
an
article
8 days ago
Kimina-Prover-RL
liked
a model
about 1 month ago
moonshotai/Kimi-K2-Base
liked
a model
about 1 month ago
moonshotai/Kimi-K2-Instruct
Organizations
upvoted
2
articles
about 1 month ago
Article
How NuminaMath Won the 1st AIMO Progress Prize
By
and 7 others
•
•
122