EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving

Mukai Li, Linfeng Song, Zhenwen Liang, Jiahao Xu, Shansan Gong, Qi Liu, Haitao Mi, Dong Yu
April, 2026
PDF
Type
Conference paper
Publication
In The 64th Annual Meeting of the Association for Computational Linguistics