TY  - RPRT
TI  - Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning
AU  - Xingguang Ji
AU  - Yahui Liu
AU  - Qi Wang
AU  - Jingyuan Zhang
AU  - Yang Yue
AU  - Rui Shi
AU  - Chenxi Sun
AU  - Fuzheng Zhang
AU  - Guorui Zhou
AU  - Kun Gai
PY  - 2025
UR  - https://arxiv.org/abs/2507.08649
ID  - 2507.08649
ER  -