Kimina Prover Preview
Collection
State-of-the-Art Models for Formal Mathematical Reasoning
•
5 items
•
Updated
•
33
Marina Vinyes
mavi88
AI & ML interests
None yet
Recent Activity
published
an
article
11 days ago
Kimina-Prover-RL
published
an
article
about 2 months ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
Organizations
upvoted
a
collection
4 months ago