@article{leanabellproverv2verifierintegratedreaso,
  title = {Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning},
  author = {Xingguang Ji and Yahui Liu and Qi Wang and Jingyuan Zhang and Yang Yue and Rui Shi and Chenxi Sun and Fuzheng Zhang and Guorui Zhou and Kun Gai},
  year = {2025},
  eprint = {2507.08649},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2507.08649},
}