Cita APA (7a ed.)
Zhang, S. D., Ringer, T., & First, E. (May 31, 2023). Getting More out of Large Language Models for Proofs. arXiv.org.
Cita Chicago Style (17a ed.)
Zhang, Shizhuo Dylan, Talia Ringer, y Emily First. "Getting More Out of Large Language Models for Proofs." ArXiv.org May 31, 2023.
Cita MLA (9a ed.)
Zhang, Shizhuo Dylan, et al. "Getting More Out of Large Language Models for Proofs." ArXiv.org, May 31, 2023.
Precaución: Estas citas no son 100% exactas.