Towards Formal Repair and Verification of Industry-scale Deep Neural Networks.
Satoshi MunakataSusumu TokumotoKoji YamamotoKazuki MunakataPublished in: ICSE Companion (2023)
Keyphrases
- data mining
- neural network
- formal methods
- machine learning
- formal analysis
- fuzzy logic
- artificial neural networks
- pattern recognition
- case study
- face verification
- formal specification
- feed forward
- model checking
- back propagation
- scale space
- decision making
- genetic algorithm
- deep learning
- decision trees
- high tech
- recurrent neural networks
- fuzzy systems
- world wide
- economic development
- formal verification
- database
- verification method
- network architecture
- formal model
- multilayer perceptron
- neural network model
- fuzzy rules
- reinforcement learning
- artificial intelligence