@misc{indiciae19d6f9ac6ca9,
  title = {LLM For Loop Invariant Generation and Fixing: How Far Are We?},
  author = {Mostafijur Rahman Akhond and Saikat Chakraborty and Gias Uddin},
  year = {2025},
  url = {https://arxiv.org/abs/2511.06552},
  note = {Source identifier: 2511.06552}
}