Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2504.06122
Cited By
Leanabell-Prover: Posttraining Scaling in Formal Reasoning
8 April 2025
Jingyuan Zhang
Qi Wang
Xingguang Ji
Y. Liu
Yang Yue
Fuzheng Zhang
Di Zhang
Guorui Zhou
Kun Gai
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Leanabell-Prover: Posttraining Scaling in Formal Reasoning"
1 / 1 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
1
