APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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