PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

GitHub repository with 104 stars and 22 forks.

Language: SMT

Topics: program-verification, graph-neural-, loop-invariant-generation

Open provider repository

24h trend summary

Trending score 0.00, activity score 0.00, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-02: 104 stars and 22 forks.

Similar repositories

  1. 1. PL-ML/code2inv

    Code2Inv: Learning Loop Invariants for Program Verification

    GitHub repository with 104 stars and 22 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: SMT

    Topics: program-verification, graph-neural-, loop-invariant-generation

Trending in SMT

  1. 1. PL-ML/code2inv

    Code2Inv: Learning Loop Invariants for Program Verification

    GitHub repository with 104 stars and 22 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: SMT

    Topics: program-verification, graph-neural-, loop-invariant-generation

Trending topic: program-verification

  1. 1. AeneasVerif/charon

    Analyze Rust crates without touching compiler internals

    GitHub repository with 357 stars and 43 forks.

    Trending score: 0.49; stars gained: +2; forks gained: +1.

    Language: Rust

    Topics: compiler, formal-methods, formal-verification, program-verification, rust, rust-lang

  2. 2. PL-ML/code2inv

    Code2Inv: Learning Loop Invariants for Program Verification

    GitHub repository with 104 stars and 22 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: SMT

    Topics: program-verification, graph-neural-, loop-invariant-generation