@inproceedings{chakraborty-etal-2023-ranking,
    title = "Ranking {LLM}-Generated Loop Invariants for Program Verification",
    author = "Chakraborty, Saikat  and
      Lahiri, Shuvendu  and
      Fakhoury, Sarah  and
      Lal, Akash  and
      Musuvathi, Madanlal  and
      Rastogi, Aseem  and
      Senthilnathan, Aditya  and
      Sharma, Rahul  and
      Swamy, Nikhil",
    editor = "Bouamor, Houda  and
      Pino, Juan  and
      Bali, Kalika",
    booktitle = "Findings of the Association for Computational Linguistics: EMNLP 2023",
    month = dec,
    year = "2023",
    address = "Singapore",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/2023.findings-emnlp.614/",
    doi = "10.18653/v1/2023.findings-emnlp.614",
    pages = "9164--9175"
}