Tighter Abstract Queries in Neural Network Verification.
Elazar CohenYizhak Yisrael ElboherClark W. BarrettGuy KatzPublished in: CoRR (2022)
Keyphrases
- neural network
- query language
- query processing
- response time
- query evaluation
- database
- upper bound
- efficient processing
- back propagation
- query formulation
- artificial neural networks
- neural network model
- complex queries
- neural nets
- data sources
- range queries
- feed forward
- genetic algorithm
- retrieval systems
- user queries
- signature verification
- fuzzy logic
- lower bound
- query logs
- aggregate queries
- face verification
- formal verification
- answering queries
- network architecture
- search queries
- bp neural network
- prediction model
- recurrent neural networks
- high level
- relational databases
- data model