APA-Zitierstil (7. Ausg.)

Zhang, D., Wang, J., & Sun, T. (2025). Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity.

Chicago-Zitierstil (17. Ausg.)

Zhang, Dylan, Justin Wang, und Tianran Sun. Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity. 2025.

MLA-Zitierstil (9. Ausg.)

Zhang, Dylan, et al. Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity. 2025.