APA (7th ed.) Citation

Bouras, D. S., Dai, Y., Wang, T., Xiong, Y., & Mechtaev, S. (2025). HoarePrompt: Structural Reasoning About Program Correctness in Natural Language.

Chicago Style (17th ed.) Citation

Bouras, Dimitrios Stamatios, Yihan Dai, Tairan Wang, Yingfei Xiong, and Sergey Mechtaev. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language. 2025.

MLA (9th ed.) Citation

Bouras, Dimitrios Stamatios, et al. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language. 2025.