Provable Fairness for Neural Network Models using Formal Verification.
Giorgian Borca-TasciucXingzhi GuoStanley BakSteven SkienaPublished in: CoRR (2022)
Keyphrases
- neural network model
- formal verification
- model checking
- neural network
- artificial neural networks
- model checker
- symbolic model checking
- bp neural network
- neural models
- network architecture
- rbf neural network
- automated verification
- input variables
- bounded model checking
- multilayer perceptron
- resource allocation
- multi layer perceptron
- temporal logic
- radial basis function network
- software engineering
- growing neural gas
- state space