Login / Signup
Efficient Neural Network Verification with Exactness Characterization.
Krishnamurthy (Dj) Dvijotham
Robert Stanforth
Sven Gowal
Chongli Qin
Soham De
Pushmeet Kohli
Published in:
UAI (2019)
Keyphrases
</>
neural network
back propagation
computationally expensive
genetic algorithm
artificial neural networks
recurrent neural networks
computer vision
website
pattern recognition
evolutionary algorithm
neural network model
training algorithm
activation function