TY  - RPRT
TI  - Leanabell-Prover: Posttraining Scaling in Formal Reasoning
AU  - Jingyuan Zhang
AU  - Qi Wang
AU  - Xingguang Ji
AU  - Yahui Liu
AU  - Yang Yue
AU  - Fuzheng Zhang
AU  - Di Zhang
AU  - Guorui Zhou
AU  - Kun Gai
PY  - 2025
UR  - https://arxiv.org/abs/2504.06122
ID  - 2504.06122
ER  -