TY  - RPRT
TI  - Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
AU  - Haiming Wang
AU  - Mert Unsal
AU  - Xiaohan Lin
AU  - Mantas Baksys
AU  - Junqi Liu
AU  - Marco Dos Santos
AU  - Flood Sung
AU  - Marina Vinyes
AU  - Zhenzhe Ying
AU  - Zekai Zhu
AU  - Jianqiao Lu
AU  - Hugues de Saxcé
AU  - Bolton Bailey
AU  - Chendong Song
AU  - Chenjun Xiao
AU  - Dehao Zhang
AU  - Ebony Zhang
AU  - Frederick Pu
AU  - Han Zhu
AU  - Jiawei Liu
AU  - Jonas Bayer
AU  - Julien Michel
AU  - Longhui Yu
AU  - Léo Dreyfus-Schmidt
AU  - Lewis Tunstall
AU  - Luigi Pagani
AU  - Moreira Machado
AU  - Pauline Bourigault
AU  - Ran Wang
AU  - Stanislas Polu
AU  - Thibaut Barroyer
AU  - Wen-Ding Li
AU  - Yazhe Niu
AU  - Yann Fleureau
AU  - Yangyang Hu
AU  - Zhouliang Yu
AU  - Zihan Wang
AU  - Zhilin Yang
AU  - Zhengying Liu
AU  - Jia Li
PY  - 2025
UR  - https://arxiv.org/abs/2504.11354
ID  - 2504.11354
ER  -