Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation

Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró. Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation. Data Min. Knowl. Discov., 40(1):11, February 2026. [doi]

Abstract

Abstract is missing.