Ranking LLM-Generated Loop Invariants for Program Verification

Chakraborty, Saikat, Lahiri, Shuvendu, Fakhoury, Sarah · Findings of the Association for Computational Linguistics: EMNLP 2023 · 2023