Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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

Precaución: Estas citas no son 100% exactas.