Tell me what you are looking for…
Order Recording
Library
Download Recording App
Contact
References
Česky
|
English
|
Deutsch
Sign In
|
Create Account
SlidesLive
Professional Conference Recording
Sign In
NeuralVerification.jl: Algorithms for Verifying Deep Neural Networks
by
Christopher Lazarus
,
Tomer Arnon
·
May 6, 2019
·
143 views
·
ICLR 2019
Embed
#ICLR
#ICLR 2019
#Learning and Development
#learning representation
#Neural Network Architecture
#neural verification