Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.
Pengfei YangZhiming ChiZongxin LiuMengyu ZhaoCheng-Chao HuangShaowei CaiLijun ZhangPublished in: CoRR (2023)
Keyphrases
- neural network
- theoretical framework
- neural nets
- formal methods
- multi layer
- general theory
- fuzzy logic
- pattern recognition
- genetic algorithm
- artificial neural networks
- computational complexity
- self organizing maps
- neural network model
- incremental learning
- theoretical basis
- formal verification
- face verification
- model checking
- satisfiability problem
- recurrent neural networks
- fault diagnosis
- data driven
- machine learning