From the 1 of 1 linked paper with an AI index.
1 paper
Tian-Shuo Liu, Shiyuan Zhang, Zijie Geng +5
The paper introduces ToMap, a multi‑agent system that treats proof autoformalization as a Decomposer‑Formalizer‑Prover pipeline and concentrates test‑time optimization on improving…