Fairify: Fairness Verification of Neural Networks.
Sumon BiswasHridesh RajanPublished in: CoRR (2022)
Keyphrases
- neural network
- pattern recognition
- back propagation
- artificial neural networks
- formal verification
- resource allocation
- neural network model
- fuzzy logic
- game theory
- concurrent systems
- formal analysis
- fuzzy systems
- recurrent neural networks
- genetic algorithm
- self organizing maps
- fault diagnosis
- evolutionary algorithm
- multilayer perceptron
- reinforcement learning
- neural nets
- multi layer
- artificial intelligence
- feedforward neural networks
- information retrieval
- hopfield neural network
- fingerprint verification
- adaptive resonance theory
- verification method
- data mining