NNrepair: Constraint-Based Repair of Neural Network Classifiers

• Main Authors: Usman, Muhammad, Gopinath, Divya, Sun, Youcheng, Noller, Yannic, Păsăreanu, C.S.
• Other Authors: DEPARTMENT OF COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: Springer Science and Business Media Deutschland GmbH 2022
• Online Access: https://scholarbank.nus.edu.sg/handle/10635/232249
• Institution: National University of Singapore

10.1007/978-3-030-81685-8_1