Lemur: Integrating Large Language Models in Automated Program Verification - Wu, Haoze; Barrett, Clark; Narodytska, Nina (International Conference on Learning Representations, 2024)