Probabilistic Verification of Neural Networks Against Group Fairness.
Bing SunJun SunTing DaiLijun ZhangPublished in: CoRR (2021)
Keyphrases
- neural network
- pattern recognition
- bayesian networks
- uncertain data
- probabilistic model
- self organizing maps
- context sensitive
- neural network model
- probabilistic logic
- genetic algorithm
- generative model
- resource allocation
- fuzzy logic
- information theoretic
- multilayer perceptron
- verification method
- multi layer
- formal verification
- envy freeness
- asynchronous circuits
- face verification
- group members
- activation function
- fuzzy systems
- neural nets
- recurrent neural networks
- model checking
- back propagation
- multi agent systems
- decision making
- machine learning