GNNCert: Deterministic Certification of Graph Neural Networks against Adversarial Perturbations - Xia, Zaishuo; Yang, Han; Wang, Binghui; Jia, Jinyuan (International Conference on Learning Representations, 2024)