Cita APA (7a ed.)
First, E., Rabe, M. N., Ringer, T., & Brun, Y. (Mar 16, 2023). Baldur: Whole-Proof Generation and Repair with Large Language Models. arXiv.org.
Cita Chicago Style (17a ed.)
First, Emily, Markus N. Rabe, Talia Ringer, y Yuriy Brun. "Baldur: Whole-Proof Generation and Repair with Large Language Models." ArXiv.org Mar 16, 2023.
Cita MLA (9a ed.)
First, Emily, et al. "Baldur: Whole-Proof Generation and Repair with Large Language Models." ArXiv.org, Mar 16, 2023.
Precaución: Estas citas no son 100% exactas.