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

2026 Open access

Read full text
Authors: Mukai Li, Linfeng Song, Zhenwen Liang, Jiahao Xu, Shansan Gong, Qi Liu, Haitao Mi, Yu Ping Dong
DOI: 10.18653/v1/2026.acl-long.2121
Cited by: 0

Abstract

Mukai Li, Linfeng Song, Zhenwen Liang, Jiahao Xu, Shansan Gong, Qi Liu, Haitao Mi, Dong Yu. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026.

Fields of Study & Subjects

Parallel Computing and Optimization Techniques Software Testing and Debugging Techniques Logic programming and type systems

Publication details

Pages
45741–45753
Publication date
1 January 2026
Language
EN