Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning. - Arsen Shebzukhov (CoRR, 2026)