Login / Signup
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification.
Vivian Lin
Radoslav Ivanov
James Weimer
Oleg Sokolsky
Insup Lee
Published in:
Principles of Systems Design (2022)
Keyphrases
</>
neural network
back propagation
databases
artificial neural networks
real time
genetic algorithm
search engine
information systems
website
pattern recognition
self organizing maps
model checking
face verification
feed forward neural networks