![Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning](https://www.pdfsearch.io/img/eb5be622cbd48cc120efd3ae96551c11.jpg) Date: 2018-05-14 04:41:41Artificial 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, UniversAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 1,23 MBShare Document on Facebook
|