@misc{indiciae1c709eb43157,
  title = {Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation},
  author = {Boqi Chen and Kristóf Marussy and Oszkár Semeráth and Gunter Mussbacher and Dániel Varró},
  year = {2025},
  doi = {10.1007/s10618-025-01180-w},
  url = {https://arxiv.org/abs/2405.08645},
  note = {Source identifier: 2405.08645}
}