Input-Relational Verification of Deep Neural Networks.
Debangshu BanerjeeChangming XuGagandeep SinghPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- neural network
- pattern recognition
- desired output
- neural nets
- recurrent neural networks
- back propagation
- fuzzy logic
- neural network model
- relational data
- model checking
- data model
- artificial neural networks
- input data
- database
- relational databases
- formal verification
- multilayer perceptron
- multi relational
- data sets
- feedforward neural networks
- learning rules
- network architecture
- fuzzy systems
- artificial intelligence
- relational model
- bayesian networks
- feed forward
- radial basis function