research
∙
06/07/2023
Hardness of Deceptive Certificate Selection
Recent progress towards theoretical interpretability guarantees for AI h...
share
research
∙
06/01/2022
Merlin-Arthur Classifiers: Formal Interpretability with Interactive Black Boxes
We present a new theoretical framework for making black box classifiers ...
research
∙
02/23/2022
Training Characteristic Functions with Reinforcement Learning: XAI-methods play Connect Four
One of the goals of Explainable AI (XAI) is to determine which input com...
research
∙
12/13/2021
A Complete Characterisation of ReLU-Invariant Distributions
We give a complete characterisation of families of probability distribut...
research
∙
05/27/2019
A Rate-Distortion Framework for Explaining Neural Network Decisions
We formalise the widespread idea of interpreting neural network decision...
research
∙
05/22/2019
The Computational Complexity of Understanding Network Decisions
For a Boolean function Φ{0,1}^d→{0,1} and an assignment to its variables...
research
∙
02/26/2019