Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning
arXiv:2603.24372v1 Announce Type: new
Abstract: Autoformalization – automatically translating natural language mathematical texts into formal proof language such as Lean4 – can help accelerate AI-assisted mathematical research, be it via proof verific…