APA-Zitierstil (7. Ausg.)

Feng, W., Lou, E., & Sharma, A. (2026). Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization.

Chicago-Zitierstil (17. Ausg.)

Feng, William, Ethan Lou, und Aryan Sharma. Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization. 2026.

MLA-Zitierstil (9. Ausg.)

Feng, William, et al. Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization. 2026.