Tag
InvWeaver is a neuro-symbolic framework that uses LLMs and deductive feedback to synthesize loop invariants for programs with multiple interacting loops, outperforming existing methods on a benchmark suite.