Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation.
Boqi ChenKristóf MarussyOszkár SemeráthGunter MussbacherDániel VarróPublished in: CoRR (2024)
Keyphrases
- overlapping communities
- abstract interpretation
- betweenness centrality
- edge weights
- graph structure
- directed graph
- degree distribution
- complex networks
- path length
- termination analysis
- weighted graph
- social networks
- shortest path
- undirected graph
- small world
- densely connected
- static analysis
- community structure
- active databases
- database
- active rules
- network structure
- model checking
- high level
- databases