TY  - RPRT
TI  - Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization
AU  - Tian-Shuo Liu
AU  - Shiyuan Zhang
AU  - Zijie Geng
AU  - Haoyu Liu
AU  - Runjie Xu
AU  - Pengyuan Wang
AU  - Lei Yuan
AU  - Yang Yu
PY  - 2026
UR  - https://arxiv.org/abs/2607.11307
ID  - 2607.11307
ER  -