TY  - RPRT
TI  - LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference
AU  - Kai Fan
AU  - ShiWen Yu
AU  - GuangSheng Fan
AU  - HaoAng Chi
AU  - WanWei Liu
AU  - Ji Wang
PY  - 2026
UR  - https://arxiv.org/abs/2607.27606
ID  - 2607.27606
ER  -