3

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
A preview of our state-of-the-art formal reasoning model using reinforcement learning for theorem proving in Lean.
H. Wang, M. Unsal, X. Lin, , J. Liu, M.D Santos, F. Sung, M. Vinyes
PDF Cite arXiv