APA (7th ed.) Citation

Wu, H., Barrett, C., & Narodytska, N. (2023). Lemur: Integrating Large Language Models in Automated Program Verification.

Chicago Style (17th ed.) Citation

Wu, Haoze, Clark Barrett, and Nina Narodytska. Lemur: Integrating Large Language Models in Automated Program Verification. 2023.

MLA (9th ed.) Citation

Wu, Haoze, et al. Lemur: Integrating Large Language Models in Automated Program Verification. 2023.