@misc{indiciae9341f6c4b4b9,
  title = {Ranking LLM-Generated Loop Invariants for Program Verification},
  author = {Saikat Chakraborty and Shuvendu K. Lahiri and Sarah Fakhoury and Madanlal Musuvathi and Akash Lal and Aseem Rastogi and Aditya Senthilnathan and Rahul Sharma and Nikhil Swamy},
  year = {2024},
  url = {https://arxiv.org/abs/2310.09342},
  note = {Source identifier: 2310.09342}
}