VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.
Jianan MaPengfei YangJingyi WangYoucheng SunCheng-Chao HuangZhen WangPublished in: ICSE (2024)
Keyphrases
- neural network
- model checking
- multilayer perceptron
- neural network model
- program synthesis
- formal verification
- fuzzy logic
- artificial neural networks
- pattern recognition
- back propagation
- training data
- genetic algorithm
- competitive learning
- rule extraction
- network architecture
- neural nets
- fuzzy systems
- machine learning
- formal analysis
- face verification
- learning rules
- activation function
- texture synthesis
- recurrent neural networks
- search engine
- feed forward
- website
- database
- sufficient conditions
- web services
- evolutionary algorithm
- image sequences
- feature extraction