NNrepair: constraint-based repair of neural network classifiers

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

33 Citations (Scopus)
23 Downloads (Pure)

Fingerprint

Dive into the research topics of 'NNrepair: constraint-based repair of neural network classifiers'. Together they form a unique fingerprint.

Computer Science