LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling. - Muhammad A. A. Pirzada; Giles Reger; Ahmed Bhayat; Lucas C. Cordeiro (ASE, 2024)