Our paper “Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference” was accepted by ISSTA 2025.