Robustness Verification of Deep Graph Neural Networks Tightened by Linear Approximation.

@inproceedings{zeng-2025-robustness, author = {Xingyu Zeng and Han Li and Qi Qi and Jingyu Wang and Haodong Deng and Haifeng Sun and Zirui Zhuang and Jianxin Liao}, editor = {Wolfgang Nejdl and S\"{o}ren Auer and Meeyoung Cha and Marie-Francine Moens and Marc Najork}, title = {{Robustness Verification of Deep Graph Neural Networks Tightened by Linear Approximation}}, booktitle = {{Proceedings of the Eighteenth ACM International Conference on Web Search and Data Mining, WSDM 2025, Hannover, Germany, March 10-14, 2025}}, pages = {281--289}, publisher = {ACM}, year = {2025}, url = {https://doi.org/10.1145/3701551.3703506}, doi = {https://doi.org/10.1145/3701551.3703506} }