TY  - RPRT
TI  - CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
AU  - Yuheng Su
AU  - Tianjun Bu
AU  - Qiusong Yang
AU  - Yiwei Ci
AU  - Enyuan Tian
PY  - 2026
UR  - https://arxiv.org/abs/2602.23389
ID  - 2602.23389
ER  -