Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

Owner: PL-ML (organization)
Stars: Stars: 106
Forks: Forks: 23
Language: SMT
License: None
Created: 2018
Topics: program-verificationgraph-neural-loop-invariant-generation
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in SMT

CyZooNiC/cyberdeckStars: 138SMTPrototype
eclsnowman/Eustathios-Spider-V2Stars: 112SMTPrototype
uuverifiers/eldaricaStars: 111SMTPrototype