@misc{indiciaee38743605726,
  title = {Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models},
  author = {Ruibang Liu and Minyu Chen and Ling-I Wu and Jingyu Ke and Guoqiang Li},
  year = {2025},
  url = {https://arxiv.org/abs/2412.10483},
  note = {Source identifier: 2412.10483}
}