Verification of Non-Linear Specifications for Neural Networks.
Chongli QinKrishnamurthy (Dj) DvijothamBrendan O'DonoghueRudy BunelRobert StanforthSven GowalJonathan UesatoGrzegorz SwirszczPushmeet KohliPublished in: ICLR (Poster) (2019)
Keyphrases
- neural network
- concurrent systems
- automated verification
- formal verification
- model checking
- highly non linear
- model checker
- bounded model checking
- asynchronous circuits
- fuzzy logic
- pattern recognition
- formal specification
- back propagation
- temporal logic
- neural network model
- feed forward
- artificial neural networks
- fuzzy systems
- neural nets
- case study
- delay insensitive
- face verification
- activation function
- protocol specification
- database
- self organizing maps
- genetic algorithm
- written in natural language
- network architecture
- multi layer
- associative memory
- multilayer perceptron