Optimization and abstraction: a synergistic approach for analyzing neural network robustness.
Greg AndersonShankara PailoorIsil DilligSwarat ChaudhuriPublished in: PLDI (2019)
Keyphrases
- neural network
- optimization method
- optimization algorithm
- image reconstruction from projections
- artificial neural networks
- optimization problems
- global optimization
- optimization process
- pattern recognition
- back propagation
- high level
- optimization model
- multi layer
- fuzzy logic
- data sets
- high robustness
- neural nets
- neural network model
- bp neural network
- optimization strategies
- backpropagation neural network
- computational efficiency