Ranking LLM-Generated Loop Invariants for Program Verification Saikat Chakraborty author Shuvendu Lahiri author Sarah Fakhoury author Akash Lal author Madanlal Musuvathi author Aseem Rastogi author Aditya Senthilnathan author Rahul Sharma author Nikhil Swamy author 2023-12 text Findings of the Association for Computational Linguistics: EMNLP 2023 Houda Bouamor editor Juan Pino editor Kalika Bali editor Association for Computational Linguistics Singapore conference publication chakraborty-etal-2023-ranking 10.18653/v1/2023.findings-emnlp.614 https://aclanthology.org/2023.findings-emnlp.614/ 2023-12 9164 9175