Provable Robustness of (Graph) Neural Networks Against Data Poisoning and Backdoor Attacks - Lukas Gosch; Mahalakshmi Sabanayagam; Debarghya Ghoshdastidar; Stephan Günnemann (2024)