@misc{indiciae52f3d85f33a6,
  title = {Counterexample-Guided Data Augmentation},
  author = {Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Kurt Keutzer and Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia},
  year = {2018},
  url = {https://arxiv.org/abs/1805.06962},
  note = {Source identifier: 1805.06962}
}