Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li 0001. Enhancing automated loop invariant generation for complex programs with large language models. Science of Computer Programming, 248:103387, 2026. [doi]
@article{LiuCWKL26,
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 0001},
year = {2026},
doi = {10.1016/j.scico.2025.103387},
url = {https://doi.org/10.1016/j.scico.2025.103387},
researchr = {https://researchr.org/publication/LiuCWKL26},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {248},
pages = {103387},
}