NNrepair: Constraint-based Repair of Neural Network Classifiers.

Muhammad Usman Divya Gopinath Youcheng Sun Yannic Noller Corina S. Pasareanu

Published in: CoRR (2021)

Keyphrases

damage assessment
constraint satisfaction
failure rate
consistent query answering
data sets
artificial intelligence
social networks
image processing
high level
scheduling problem
configuration problems
abdominal aortic aneurysm