Tighter Abstract Queries in Neural Network Verification.
Elazar CohenYizhak Yisrael ElboherClark W. BarrettGuy KatzPublished in: LPAR (2023)
Keyphrases
- neural network
- query language
- query processing
- upper bound
- response time
- complex queries
- efficient processing
- query evaluation
- artificial neural networks
- database
- genetic algorithm
- database queries
- back propagation
- search queries
- pattern recognition
- query formulation
- query logs
- neural network model
- high level
- retrieval systems
- user queries
- web search engines
- model checking
- self organizing maps
- relational database systems
- database systems
- keywords