Back to Results
First PageMeta Content
Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning


Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers
Add to Reading List

Document Date: 2018-05-14 04:41:41


Open Document

File Size: 1,23 MB

Share Result on Facebook