works on
ICE framework 1incremental learning 1large language models 1loop invariant synthesis 1program verification 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.SE2026

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference

Kai Fan, ShiWen Yu, GuangSheng Fan +3

The paper introduces LimICE, a tool that combines large language models with the ICE framework to incrementally generate sequences of lemmas as loop invariants, improving both succ…