Login / Signup
IADA: Iterative Adversarial Data Augmentation Using Formal Verification and Expert Guidance.
Ruixuan Liu
Changliu Liu
Published in:
CoRR (2021)
Keyphrases
</>
data processing
data sets
data collection
formal verification
data quality
data analysis
original data
synthetic data
statistical analysis
high quality
model checking
experimental data
image data
data points
data sources
data structure
training data
database
knowledge base
domain experts
end users
human experts