We Cannot Guarantee Safety: The Undecidability of Graph Neural Network Verification.
Marco SälzerMartin LangePublished in: CoRR (2022)
Keyphrases
- neural network
- back propagation
- artificial neural networks
- bipartite graph
- neural network is trained
- graph databases
- graph structure
- graph representation
- weighted graph
- graph theory
- connected components
- model checking
- directed graph
- neural network model
- graph theoretic
- multi layer perceptron
- graph mining
- directed acyclic graph
- genetic algorithm
- graph partitioning
- spanning tree
- graph model
- fuzzy logic
- recurrent neural networks
- graph matching
- multi layer
- network architecture
- knn
- description logics
- random walk
- heuristic search
- image segmentation
- edge weights
- formal methods
- signature verification
- safety analysis