Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
Abstract
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy. Findings of the Association for Computational Linguistics: EMNLP 2023. 2023.
Topics & Concepts
Ranking (information retrieval)Computer scienceArtificial intelligenceNatural Language Processing TechniquesMathematics, Computing, and Information Processing