Interpreting Robustness Proofs of Deep Neural Networks.
Debangshu BanerjeeAvaljot SinghGagandeep SinghPublished in: CoRR (2023)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- fuzzy logic
- neural network model
- information systems
- multilayer perceptron
- competitive learning
- activation function
- multi layer
- theorem prover
- real time
- self organizing maps
- genetic algorithm
- feed forward
- associative memory
- fault diagnosis
- theorem proving
- fuzzy systems
- training algorithm
- network architecture
- fuzzy neural network
- training data
- high robustness