Finding Inductive Loop Invariants using Large Language Models

Re-assign community