Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization

This paper introduces an efficient test-time optimization method to improve how multi-agent systems translate natural language mathematical proofs into formal code.

Firefly links to the original publisher. The summary above is AI-generated for orientation and may differ from the source. The “current rank score” decays over time so newer significant stories surface first.