@misc{indiciae72866c7d69d1,
  title = {EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving},
  author = {Mukai Li and Linfeng Song and Zhenwen Liang and Jiahao Xu and Shansan Gong and Qi Liu and Haitao Mi and Dong Yu},
  year = {2025},
  url = {https://arxiv.org/abs/2509.12603},
  note = {Source identifier: 2509.12603}
}