Shebzukhov, A. (2026). Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning.
Style de citation Chicago (17e éd.)Shebzukhov, Arsen. Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning. 2026.
Style de citation MLA (9e éd.)Shebzukhov, Arsen. Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.