Generating Robust Counterfactual Witnesses for Graph Neural Networks

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Qiu, Dazhuo, Wang, Mengying, Khan, Arijit, Wu, Yinghui
Format: Preprint
Publié: 2024
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866929331702333440
author Qiu, Dazhuo
Wang, Mengying
Khan, Arijit
Wu, Yinghui
author_facet Qiu, Dazhuo
Wang, Mengying
Khan, Arijit
Wu, Yinghui
contents This paper introduces a new class of explanation structures, called robust counterfactual witnesses (RCWs), to provide robust, both counterfactual and factual explanations for graph neural networks. Given a graph neural network M, a robust counterfactual witness refers to the fraction of a graph G that are counterfactual and factual explanation of the results of M over G, but also remains so for any "disturbed" G by flipping up to k of its node pairs. We establish the hardness results, from tractable results to co-NP-hardness, for verifying and generating robust counterfactual witnesses. We study such structures for GNN-based node classification, and present efficient algorithms to verify and generate RCWs. We also provide a parallel algorithm to verify and generate RCWs for large graphs with scalability guarantees. We experimentally verify our explanation generation process for benchmark datasets, and showcase their applications.
format Preprint
id arxiv_https___arxiv_org_abs_2404_19519
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Generating Robust Counterfactual Witnesses for Graph Neural Networks
Qiu, Dazhuo
Wang, Mengying
Khan, Arijit
Wu, Yinghui
Machine Learning
Databases
This paper introduces a new class of explanation structures, called robust counterfactual witnesses (RCWs), to provide robust, both counterfactual and factual explanations for graph neural networks. Given a graph neural network M, a robust counterfactual witness refers to the fraction of a graph G that are counterfactual and factual explanation of the results of M over G, but also remains so for any "disturbed" G by flipping up to k of its node pairs. We establish the hardness results, from tractable results to co-NP-hardness, for verifying and generating robust counterfactual witnesses. We study such structures for GNN-based node classification, and present efficient algorithms to verify and generate RCWs. We also provide a parallel algorithm to verify and generate RCWs for large graphs with scalability guarantees. We experimentally verify our explanation generation process for benchmark datasets, and showcase their applications.
title Generating Robust Counterfactual Witnesses for Graph Neural Networks
topic Machine Learning
Databases
url https://arxiv.org/abs/2404.19519