Leanabell-Prover: Posttraining Scaling in Formal Reasoning

8 April 2025

Papers citing "Leanabell-Prover: Posttraining Scaling in Formal Reasoning"

4 / 4 papers shown

Title
LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation Junyu Lai Jiakun Zhang Shuo Xu Taolue Chen Zihang Wang Yao Yang Jiarui Zhang Chun Cao Jingwei Xu 0 0 0 17 May 2025
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation Zhenwen Liang Linfeng Song Yang Li Tao Yang Feng Zhang Haitao Mi Dong Yu LRM 12 0 0 16 May 2025
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics Jiaheng Liu Xiaohan Lin Jonas Bayer Yael Dillies Weijie Jiang ... Zhengfeng Yang J. Zhang Lihong Zhi J. Li Zhengying Liu 106 0 0 06 May 2025
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Haiming Wang Mert Unsal Xiaohan Lin Mantas Baksys Jiaheng Liu ... Zhouliang Yu Zhilin Wang Zhilin Yang Zhengying Liu Jia-Nan Li AIMat ReLM AI4TS LRM 54 8 0 15 Apr 2025