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

Original language	English
Title of host publication	33rd International Conference on Computer-Aided Verification (CAV)
Publication status	Accepted - 29 May 2021

NNrepair: Constraint-based Repair of Neural Network Classifiers
Accepted author manuscript, 635 KB
Licence: Unspecified
Embargo ends: 29/05/2022

Cite this

@inproceedings{f25ba911552240a197b7bd1f5f3b3f69,

title = "NNrepair: Constraint-based Repair of Neural Network Classifiers",

author = "Muhammad Usman and Divya Gopinath and Youcheng Sun and Yannic Noller and Pasareanu, {Corina S.}",

year = "2021",

month = may,

day = "29",

language = "English",

booktitle = "33rd International Conference on Computer-Aided Verification (CAV)",

}