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

Browse the full ACL paper archive.