Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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