DeepGemini: Verifying Dependency Fairness for Deep Neural Network.
Xuan XieFuyuan ZhangXinwen HuLei MaPublished in: AAAI (2023)
Keyphrases
- neural network
- back propagation
- neural network model
- artificial neural networks
- neural nets
- pattern recognition
- fuzzy artmap
- feed forward neural networks
- model checking
- learning vector quantization
- activation function
- network model
- prediction model
- bp neural network
- hybrid intelligent
- image reconstruction from projections
- neural network is trained
- multi layer
- recurrent neural networks
- radial basis function
- fault diagnosis
- fuzzy logic
- network architecture
- fuzzy neural network
- multi layer perceptron
- feedforward neural networks
- deep learning
- evolutionary algorithm
- decision trees
- radial basis
- learning algorithm
- genetic algorithm