Cita APA (7a ed.)

Lin, Y., Tang, S., Lyu, B., Wu, J., Lin, H., Yang, K., . . . Jin, C. (2025). Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.

Cita Chicago Style (17a ed.)

Lin, Yong, et al. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving. 2025.

Cita MLA (9a ed.)

Lin, Yong, et al. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving. 2025.