NNSMT: Deep Neural Networks for SMT Solvers Fuzzing.
Zifu YanYongjun WangHaoran XuPublished in: ICCAI (2022)
Keyphrases
- neural network
- modulo theories
- pattern recognition
- artificial neural networks
- fault diagnosis
- neural network model
- fuzzy logic
- statistical machine translation
- back propagation
- fuzzy systems
- radial basis function
- learning rules
- network architecture
- multilayer perceptron
- search algorithm
- multi layer
- feed forward
- self organizing maps
- evolutionary algorithm
- rule extraction
- genetic algorithm