7 papers
GNN Explanations that do not Explain and How to find Them
Steve Azzolin, Stefano Teso, Bruno Lepri +2
Explanations provided by Self-explainable Graph Neural Networks (SE-GNNs) are fundamental for understanding the model's inner workings and for identifying potential misuse of sensi…
Is BatchEnsemble a Single Model? On Calibration and Diversity of Efficient Ensembles
Anton Zamyatin, Patrick Indri, Sagar Malhotra +1
In resource-constrained and low-latency settings, uncertainty estimates must be efficiently obtained. Deep Ensembles provide robust epistemic uncertainty (EU) but require training…
Probably Approximately Global Robustness Certification
Peter Blohm, Patrick Indri, Thomas Gärtner +1
We propose and investigate probabilistic guarantees for the adversarial robustness of classification algorithms. While traditional formal verification approaches for robustness are…
On Local Limits of Sparse Random Graphs: Color Convergence and the Refined Configuration Model
Alexander Pluska, Sagar Malhotra
Local convergence has emerged as a fundamental tool for analyzing sparse random graph models. We introduce a new notion of local convergence, color convergence, based on the Weisfe…
Prime Implicant Explanations for Reaction Feasibility Prediction
Klaus Weinbauer, Tieu-Long Phan, Peter F. Stadler +2
Machine learning models that predict the feasibility of chemical reactions have become central to automated synthesis planning. Despite their predictive success, these models often…
Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective
Steve Azzolin, Sagar Malhotra, Andrea Passerini +1
Self-Explainable Graph Neural Networks (SE-GNNs) are popular explainable-by-design GNNs, but their explanations' properties and limitations are not well understood. Our first contr…