In supervised learning, the question of data quality and curation has been overshadowed in recent years by increasingly more powerful and expressive models that can ingest internet-scale data.
However, many use cases of neural network verification require solving the inverse problem, or over-approximating the set of inputs that lead to certain outputs.