Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma 0001, Nikhil Swamy. Ranking LLM-Generated Loop Invariants for Program Verification. In Houda Bouamor, Juan Pino 0001, Kalika Bali, editors, Findings of the Association for Computational Linguistics: EMNLP 2023, Singapore, December 6-10, 2023. pages 9164-9175, Association for Computational Linguistics, 2023. [doi]
Abstract is missing.