findings-emnlp.614
Ranking LLM-Generated Loop Invariants for Program Verification
Chakraborty, Saikat Lahiri, Shuvendu Fakhoury, Sarah Lal, Akash Musuvathi, Madanlal Rastogi, Aseem Senthilnathan, Aditya Sharma, Rahul Swamy, Nikhil