Athena: Probabilistic Verification of Machine Unlearning.

David Marco Sommer Liwei Song Sameer Wagh Prateek Mittal

Published in: Proc. Priv. Enhancing Technol. (2022)

Keyphrases

bayesian networks
probabilistic model
generative model
database
machine learning
model checking
posterior probability
context sensitive
probabilistic approaches
data sets
artificial intelligence
information theoretic
conditional probabilities
uncertain data
flowshop