Chen, L., Gu, J., Huang, L., Huang, W., Jiang, Z., Jie, A., . . . Zhu, T. H. (2025). Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving.
Chicago-Zitierstil (17. Ausg.)Chen, Luoxin, et al. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving. 2025.
MLA-Zitierstil (9. Ausg.)Chen, Luoxin, et al. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.