works on
formal verification 1multi-agent systems 1prompt engineering 1proof autoformalization 1test-time optimization 1

From the 1 of 1 linked paper with an AI index.

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization

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…