GitHub repository: zeri27/qpcert
Primary language: Jupyter Notebook
Description: Codebase for papers "Exact Certification of (Graph) Neural Networks against Label Poisoning" and  "Provable Robustness of (Graph) Neural Networks Against Data Poisoning and Backdoor Attacks"