DeepAbstract: Neural Network Abstraction for Accelerating Verification.
Pranav AshokVahid HashemiJan KretínskýStefanie MohrPublished in: ATVA (2020)
Keyphrases
- neural network
- hardware designs
- back propagation
- artificial neural networks
- neural network is trained
- high level
- face verification
- genetic algorithm
- bounded model checking
- learning vector quantization
- multi layer
- recurrent neural networks
- model checking
- neural network model
- pattern recognition
- neural nets
- training algorithm
- network architecture
- fuzzy logic
- asynchronous circuits
- fuzzy artmap
- formal verification
- image reconstruction from projections
- information systems
- decision making
- website
- backpropagation neural network
- back propagation neural network
- formal methods
- fuzzy neural network
- bp neural network