Provable Fairness for Neural Network Models Using Formal Verification.
Giorgian Borca-TasciucXingzhi GuoStanley BakSteven SkienaPublished in: EWAF (2023)
Keyphrases
- neural network model
- formal verification
- model checking
- neural network
- artificial neural networks
- model checker
- automated verification
- symbolic model checking
- bounded model checking
- neural models
- bp neural network
- rbf neural network
- program slicing
- input variables
- growing neural gas
- network architecture
- multilayer perceptron
- multi layer perceptron
- fuzzy logic