Citazione Stile APA (7a Edizione)

Lin, Y., Tang, S., Lyu, B., Yang, Z., Chung, J., Zhao, H., . . . Jin, C. (2025). Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.

Citazione stile Chigago Style (17a edizione)

Lin, Yong, et al. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. 2025.

Citatione MLA (9a ed.)

Lin, Yong, et al. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. 2025.