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
Showing cs.SEShow all

1 paper · 1 filter

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…