NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

reference. Kimina-prover preview: Towards large formal reasoning models with reinforcement learning [wang2025kimina]
✍️source

  • 2025
  • Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu, Marco Dos Santos, Flood Sung, Marina Vinyes, Zhenzhe Ying, Zekai Zhu, others
@article{wang2025kimina,
 title = {Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning},
 author = {Wang, Haiming and Unsal, Mert and Lin, Xiaohan and Baksys, Mantas and Liu, Junqi and Santos, Marco Dos and Sung, Flood and Vinyes, Marina and Ying, Zhenzhe and Zhu, Zekai and others},
 year = {2025},
 journal = {arXiv preprint arXiv:2504.11354}
}