Verifiable Robust GNN Verifiable robustness to structure perturbation with abstract interperation. See this slide with more details.