Leanabell-Prover: Posttraining Scaling in Formal Reasoning

8 April 2025

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

2 / 2 papers shown

Title
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics J. Liu Xiaohan Lin Jonas Bayer Yael Dillies Weijie Jiang ... Zhengfeng Yang J. Zhang Lihong Zhi J. Li Zhengying Liu 20 0 0 06 May 2025
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Haiming Wang Mert Unsal Xiaohan Lin Mantas Baksys J. Liu ... Zhouliang Yu Z. Wang Zhilin Yang Zhengying Liu Jia-Nan Li AIMat ReLM AI4TS LRM 47 4 0 15 Apr 2025