@misc{indiciaef86605e2fc1d,
  title = {Towards Probabilistic Verification of Machine Unlearning},
  author = {David Marco Sommer and Liwei Song and Sameer Wagh and Prateek Mittal},
  year = {2020},
  url = {https://arxiv.org/abs/2003.04247},
  note = {Source identifier: 2003.04247}
}