NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

reference. Leanabell-prover: Posttraining scaling in formal reasoning [zhang2025leanabell]
✍️source

  • 2025
  • Jingyuan Zhang, Qi Wang, Xingguang Ji, Yahui Liu, Yang Yue, Fuzheng Zhang, Di Zhang, Guorui Zhou, Kun Gai
@article{zhang2025leanabell,
 title = {Leanabell-Prover: Posttraining Scaling in Formal Reasoning},
 author = {Zhang, Jingyuan and Wang, Qi and Ji, Xingguang and Liu, Yahui and Yue, Yang and Zhang, Fuzheng and Zhang, Di and Zhou, Guorui and Gai, Kun},
 year = {2025},
 journal = {arXiv preprint arXiv:2504.06122}
}