Crossmark

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

Published Online: 2025-12-12

Published Print: 2026-01

Authors

Chen, Boqi

Marussy, Kristóf

Semeráth, Oszkár

Mussbacher, Gunter

Varró, Dániel
Funding

Funding for this research was provided by:

Fonds de recherche du Québec – Nature et technologies (B2X-319955)

Mitacs (Accelerate IT30340)

Mitacs (Accelerate IT30340)

Nemzeti Kutatási Fejlesztési és Innovációs Hivatal (TKP2021-EGA-02)

Nemzeti Kutatási Fejlesztési és Innovációs Hivatal (TKP2021-EGA-02)

Knut och Alice Wallenbergs Stiftelse (Autonomous Systems and Software Program)
License Information

Text and Data Mining valid from 2025-12-12

Version of Record valid from 2025-12-12
More Information

Article History

Received: 9 October 2024

Accepted: 27 November 2025

First Online: 12 December 2025

Declarations

:

: The authors declare that they have no conflict of interest.

Document is current