@misc{indiciaedb39dc58ba35,
  title = {Analyzing and Improving Neural Networks by Generating Semantic Counterexamples through Differentiable Rendering},
  author = {Lakshya Jain and Varun Chandrasekaran and Uyeong Jang and Wilson Wu and Andrew Lee and Andy Yan and Steven Chen and Somesh Jha and Sanjit A. Seshia},
  year = {2020},
  url = {https://arxiv.org/abs/1910.00727},
  note = {Source identifier: 1910.00727}
}