Interpreting Robustness Proofs of Deep Neural Networks.
Debangshu BanerjeeAvaljot SinghGagandeep SinghPublished in: ICLR (2024)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- back propagation
- multi layer
- feed forward
- neural network model
- computational efficiency
- fuzzy logic
- mathematical proofs
- theorem proving
- multilayer perceptron
- fault diagnosis
- genetic algorithm
- decision trees
- image processing
- computer vision
- recurrent neural networks
- data sets
- real time
- fuzzy systems
- competitive learning
- deep learning
- decision procedures
- mathematical knowledge
- formal proofs
- equational theories
- database