1. Martín Abadi , Paul Barham , Jianmin Chen , Zhifeng Chen , Andy Davis , Jeffrey Dean , Matthieu Devin , Sanjay Ghemawat , Geoffrey Irving , Michael Isard , 2016 . Tensorflow: A system for large-scale machine learning. In 12th {USENIX} symposium on operating systems design and implementation ({OSDI} 16). 265–283. Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, 2016. Tensorflow: A system for large-scale machine learning. In 12th {USENIX} symposium on operating systems design and implementation ({OSDI} 16). 265–283.
2. FOSSIL
3. Stephen Boyd , Stephen P Boyd , and Lieven Vandenberghe . 2004. Convex optimization . Cambridge university press . Stephen Boyd, Stephen P Boyd, and Lieven Vandenberghe. 2004. Convex optimization. Cambridge university press.
4. Arthur Clavière Eric Asselin Christophe Garion and Claire Pagetti. 2020. Safety Verification of Neural Network Controlled Systems. arXiv preprint arXiv:2011.05174(2020). Arthur Clavière Eric Asselin Christophe Garion and Claire Pagetti. 2020. Safety Verification of Neural Network Controlled Systems. arXiv preprint arXiv:2011.05174(2020).
5. Approximation by superpositions of a sigmoidal function