Counterfactual Explanations and Model Multiplicity: a Relational Verification View.

Francesco Leofante Elena Botoeva Vineet Rajani

Published in: KR (2023)

Keyphrases

databases
computational model
probabilistic model
formal model
mathematical model
theoretical framework
neural network
model checking
theoretical analysis
prior knowledge
high level
multiscale
face recognition
neural network model
bayesian framework
information retrieval
formal verification