Inferring Properties of Graph Neural Networks

Dat Nguyen, Hieu M. Vu, Cong-Thanh Le +4

We propose GNNInfer, the first automatic property inference technique for GNNs. To tackle the challenge of varying input structures in GNNs, GNNInfer first identifies a set of repr…