@article{towardsprobabilisticverificationofmachin,
  title = {Towards Probabilistic Verification of Machine Unlearning},
  author = {David Marco Sommer and Liwei Song and Sameer Wagh and Prateek Mittal},
  year = {2020},
  eprint = {2003.04247},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2003.04247v2},
}