NNrepair: Constraint-Based Repair of Neural Network Classifiers

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

Saved in:
Bibliographic Details
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-232249
record_format dspace
spelling sg-nus-scholar.10635-2322492024-04-17T08:43:06Z NNrepair: Constraint-Based Repair of Neural Network Classifiers Usman, Muhammad Gopinath, Divya Sun, Youcheng Noller, Yannic Păsăreanu, C.S. DEPARTMENT OF COMPUTER SCIENCE 10.1007/978-3-030-81685-8_1 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12759 LNCS Mar-25 2022-10-11T08:10:16Z 2022-10-11T08:10:16Z 2021-01-01 Conference Paper Usman, Muhammad, Gopinath, Divya, Sun, Youcheng, Noller, Yannic, Păsăreanu, C.S. (2021-01-01). NNrepair: Constraint-Based Repair of Neural Network Classifiers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12759 LNCS : Mar-25. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-030-81685-8_1 0302-9743 https://scholarbank.nus.edu.sg/handle/10635/232249 Attribution 4.0 International https://creativecommons.org/licenses/by/4.0/ Springer Science and Business Media Deutschland GmbH Scopus OA2021
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
description 10.1007/978-3-030-81685-8_1
author2 DEPARTMENT OF COMPUTER SCIENCE
author_facet DEPARTMENT OF COMPUTER SCIENCE
Usman, Muhammad
Gopinath, Divya
Sun, Youcheng
Noller, Yannic
Păsăreanu, C.S.
format Conference or Workshop Item
author Usman, Muhammad
Gopinath, Divya
Sun, Youcheng
Noller, Yannic
Păsăreanu, C.S.
spellingShingle Usman, Muhammad
Gopinath, Divya
Sun, Youcheng
Noller, Yannic
Păsăreanu, C.S.
NNrepair: Constraint-Based Repair of Neural Network Classifiers
author_sort Usman, Muhammad
title NNrepair: Constraint-Based Repair of Neural Network Classifiers
title_short NNrepair: Constraint-Based Repair of Neural Network Classifiers
title_full NNrepair: Constraint-Based Repair of Neural Network Classifiers
title_fullStr NNrepair: Constraint-Based Repair of Neural Network Classifiers
title_full_unstemmed NNrepair: Constraint-Based Repair of Neural Network Classifiers
title_sort nnrepair: constraint-based repair of neural network classifiers
publisher Springer Science and Business Media Deutschland GmbH
publishDate 2022
url https://scholarbank.nus.edu.sg/handle/10635/232249
_version_ 1800915600754606080