Probabilistic Verification of Neural Networks Against Group Fairness.
Bing SunJun SunTing DaiLijun ZhangPublished in: FM (2021)
Keyphrases
- neural network
- probabilistic model
- pattern recognition
- formal verification
- genetic algorithm
- neural network model
- model checking
- artificial neural networks
- envy freeness
- uncertain data
- bayesian networks
- fuzzy logic
- data driven
- back propagation
- multilayer perceptron
- neural nets
- multi layer
- real time
- multi agent systems
- verification method
- data mining
- group members
- activation function
- artificial intelligence
- posterior probability
- knowledge base
- resource allocation
- cooperative