Lemur: Integrating Large Language Models in Automated Program Verification

Published in International Conference on Learning Representations (ICLR'24), 2024