Towards Probabilistic Verification of Machine Unlearning

1 code implementation • 9 Mar 2020 • David Marco Sommer, Liwei Song, Sameer Wagh, Prateek Mittal

In this work, we take the first step in proposing a formal framework to study the design of such verification mechanisms for data deletion requests -- also known as machine unlearning -- in the context of systems that provide machine learning as a service (MLaaS).

backdoor defense Machine Unlearning +1