Counterexample-Guided Data Augmentation.

Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Browse the full IJCAI paper archive.