TY  - RPRT
TI  - EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
AU  - Mukai Li
AU  - Linfeng Song
AU  - Zhenwen Liang
AU  - Jiahao Xu
AU  - Shansan Gong
AU  - Qi Liu
AU  - Haitao Mi
AU  - Dong Yu
PY  - 2025
UR  - https://arxiv.org/abs/2509.12603
ID  - 2509.12603
ER  -