TY  - RPRT
TI  - Analyzing and Improving Neural Networks by Generating Semantic Counterexamples through Differentiable Rendering
AU  - Lakshya Jain
AU  - Varun Chandrasekaran
AU  - Uyeong Jang
AU  - Wilson Wu
AU  - Andrew Lee
AU  - Andy Yan
AU  - Steven Chen
AU  - Somesh Jha
AU  - Sanjit A. Seshia
PY  - 2020
UR  - https://arxiv.org/abs/1910.00727
ID  - 1910.00727
ER  -