@article{kiminaproverpreviewtowardslargeformal,
  title = {Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning},
  author = {Haiming Wang and Mert Unsal and Xiaohan Lin and Mantas Baksys and Junqi Liu and Marco Dos Santos and Flood Sung and Marina Vinyes and ZhenZhe Ying and Zekai Zhu and Jianqiao Lu and Hugues de Saxcé and Bolton Bailey and Chendong Song and Chenjun Xiao and Dehao Zhang and Ebony Zhang and Frederick Pu and Han Zhu and Jiawei Liu and Jonas Bayer and Julien Michel and Longhui Yu and Léo Dreyfus-Schmidt and Lewis Tunstall and Luigi Pagani and Moreira Machado and Pauline Bourigault and Ran Wang and Stanislas Polu and Thibaut Barroyer and Wen-Ding Li and Yazhe Niu and Yann Fleureau and Yangyang Hu and Zhouliang Yu and Zihan Wang and Zhilin Yang and Zhengying Liu and Jia Li},
  year = {2025},
  eprint = {2504.11354},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2504.11354v1},
}