@misc{indiciaee6ff0a93c94b,
  title = {VPN: Verification of Poisoning in Neural Networks},
  author = {Youcheng Sun and Muhammad Usman and Divya Gopinath and Corina S. Păsăreanu},
  year = {2022},
  url = {https://arxiv.org/abs/2205.03894},
  note = {Source identifier: 2205.03894}
}