Reluplex: a calculus for reasoning about deep neural networks.
Guy KatzClark W. BarrettDavid L. DillKyle JulianMykel J. KochenderferPublished in: Formal Methods Syst. Des. (2022)
Keyphrases
- neural network
- pattern recognition
- qualitative spatial reasoning
- artificial neural networks
- genetic algorithm
- rule extraction
- qualitative reasoning
- fuzzy systems
- back propagation
- neural network model
- algebraic structure
- self organizing maps
- feed forward
- automated deduction
- qualitative spatial
- spatial reasoning
- formal theory
- deep learning
- feedforward neural networks
- real time
- neural network is trained
- activation function
- multi layer perceptron
- network architecture
- training algorithm
- multilayer perceptron
- fault diagnosis
- fuzzy logic
- relational databases