Shebzukhov, A. (2026). Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning.
Citazione stile Chigago Style (17a edizione)Shebzukhov, Arsen. Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning. 2026.
Citatione MLA (9a ed.)Shebzukhov, Arsen. Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.