Lemur: Integrating Large Language Models in Automated Program VerificationPublished in International Conference on Learning Representations (ICLR'24), 2024Share on Twitter Facebook LinkedIn Previous Next