@misc{indiciaeb81b19ee3c8a,
  title = {A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors},
  author = {Edward Kim and Divya Gopinath and Corina Pasareanu and Sanjit Seshia},
  year = {2020},
  url = {https://arxiv.org/abs/1912.00289},
  note = {Source identifier: 1912.00289}
}