GitHub repository: roozmehrjh79/FV4GNN
Primary language: Python
Description: FV4GNN: A formal verification front-end for graph nerual networks