Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks.
Shahaf BassanGuy KatzPublished in: TACAS (1) (2023)
Keyphrases
- neural network
- pattern recognition
- back propagation
- genetic algorithm
- multilayer perceptron
- rule extraction
- network architecture
- multi layer
- formal model
- neural network model
- fault diagnosis
- artificial neural networks
- recurrent neural networks
- computational intelligence
- neural nets
- fuzzy logic
- formal specification
- formal methods
- information systems
- formal models