Counterexample-Guided Data Augmentation.
Tommaso DreossiShromona GhoshXiangyu YueKurt KeutzerAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaPublished in: CoRR (2018)
Keyphrases
- data sets
- data analysis
- database
- data collection
- raw data
- experimental data
- statistical analysis
- computer systems
- data structure
- data sources
- complex data
- original data
- input data
- synthetic data
- statistical methods
- data objects
- xml documents
- image sequences
- high dimensional data
- database systems
- test data
- clustering algorithm
- end users
- noisy data
- data model