#

graph-neural-

Here is 1 public repository matching this topic...

PL-ML / code2inv

Code2Inv: Learning Loop Invariants for Program Verification

program-verification graph-neural- loop-invariant-generation

Updated Jan 26, 2021
SMT

Improve this page

Add a description, image, and links to the graph-neural- topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the graph-neural- topic, visit your repo's landing page and select "manage topics."