BALI: Branch-Aware Loop Invariant Inference with Large Language Models

Mingxiu Wang, Jiawei Wang, Xiao Cheng

Loop invariants are fundamental for reasoning about the correctness of iterative algorithms. However, deriving suitable invariants remains a challenging and often manual task, part…