A Modal Logic for Explaining some Graph Neural Networks

11 July 2023

Papers citing "A Modal Logic for Explaining some Graph Neural Networks"

3 / 3 papers shown

Title
DT+GNN: A Fully Explainable Graph Neural Network using Decision Trees Peter Müller Lukas Faber Karolis Martinkus Roger Wattenhofer 30 8 0 26 May 2022
Explainability in Graph Neural Networks: A Taxonomic Survey Hao Yuan Haiyang Yu Shurui Gui Shuiwang Ji 167 592 0 31 Dec 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017