An abstract domain for certifying neural networks.
Gagandeep SinghTimon GehrMarkus PüschelMartin T. VechevPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- neural network
- domain independent
- domain specific
- pattern recognition
- artificial neural networks
- fault diagnosis
- domain experts
- low level
- image processing
- artificial intelligence
- support vector
- expert systems
- data sets
- high level
- fuzzy logic
- decision trees
- back propagation
- genetic algorithm
- feed forward
- neural nets
- cross domain