@misc{indiciae8b12f5a4d4a0,
  title = {Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization},
  author = {Tian-Shuo Liu and Shiyuan Zhang and Zijie Geng and Haoyu Liu and Runjie Xu and Pengyuan Wang and Lei Yuan and Yang Yu},
  year = {2026},
  url = {https://arxiv.org/abs/2607.11307},
  note = {Source identifier: 2607.11307}
}