TY  - RPRT
TI  - Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
AU  - Ruibang Liu
AU  - Minyu Chen
AU  - Ling-I Wu
AU  - Jingyu Ke
AU  - Guoqiang Li
PY  - 2025
UR  - https://arxiv.org/abs/2412.10483
ID  - 2412.10483
ER  -