Fairify: Fairness Verification of Neural Networks.
Sumon BiswasHridesh RajanPublished in: ICSE (2023)
Keyphrases
- neural network
- multi layer
- multilayer perceptron
- back propagation
- pattern recognition
- fault diagnosis
- functional verification
- artificial neural networks
- real time
- verification method
- asynchronous circuits
- formal methods
- recurrent neural networks
- model checking
- self organizing maps
- game theory
- genetic algorithm
- search engine
- neural nets
- information retrieval
- multi layer perceptron
- decision trees
- feedforward neural networks
- competitive learning
- fingerprint verification
- fuzzy logic
- multi objective
- false acceptance rate
- neural network is trained
- face recognition