Cita APA (7a ed.)

Narozniak, G., Biau, G., Munos, R., Rammal, A., & Marion, P. (2026). Distilling LLM Feedback for Lean Theorem Proving.

Cita Chicago Style (17a ed.)

Narozniak, Gaetan, Gérard Biau, Rémi Munos, Ahmad Rammal, y Pierre Marion. Distilling LLM Feedback for Lean Theorem Proving. 2026.

Cita MLA (9a ed.)

Narozniak, Gaetan, et al. Distilling LLM Feedback for Lean Theorem Proving. 2026.