Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification.
Guy KatzPublished in: SMT (2021)
Keyphrases
- invited talk
- neural network
- selected papers
- knowledge discovery and data mining
- hardware designs
- model checking
- artificial neural networks
- fuzzy logic
- back propagation
- neural network model
- neural network is trained
- bounded model checking
- high level
- bp neural network
- radial basis function
- fault diagnosis
- recurrent neural networks
- data structure
- genetic algorithm
- information retrieval
- signature verification
- formal verification
- statistical machine translation
- knowledge discovery
- databases