Text this: Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation.