GitHub repository: lahiri-phdworks/code2inv
Primary language: SMT
Description: Code2Inv: Learning Loop Invariants for Program Verification