APA-Zitierstil (7. Ausg.)

Lai, J., Zhang, J., Xu, S., Chen, T., Wang, Z., Yang, Y., . . . Xu, J. (2025). LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation.

Chicago-Zitierstil (17. Ausg.)

Lai, Junyu, Jiakun Zhang, Shuo Xu, Taolue Chen, Zihang Wang, Yao Yang, Jiarui Zhang, Chun Cao, und Jingwei Xu. LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation. 2025.

MLA-Zitierstil (9. Ausg.)

Lai, Junyu, et al. LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation. 2025.