Frontier Signal
Faithful Autoformalization: Roundtrip Verification Improves LLM Fidelity
A new roundtrip verification and repair framework enhances LLM autoformalization fidelity from 45-61% to 83-85% without ground-truth annotations.
Read the briefing