论文信息 - Structure verification of deep neural networks at compilation time - 字舞流文

Structure verification of deep neural networks at compilation time

Alberto Pardo | Marcos Viera | Leonardo Piñeyro

[1] Conor McBride. Faking it: Simulating dependent types in Haskell , 2002, J. Funct. Program..

[2] Blaine Nelson,et al. The security of machine learning , 2010, Machine Learning.

[3] Grenville J. Armitage,et al. A survey of techniques for internet traffic classification using machine learning , 2008, IEEE Communications Surveys & Tutorials.

[4] Nicholas D. Matsakis,et al. The rust language , 2014, HILT '14.

[5] Geoffrey E. Hinton,et al. Deep Learning , 2015, Nature.

[6] Min Wu,et al. Safety Verification of Deep Neural Networks , 2016, CAV.

[7] Natalia Gimelshein,et al. PyTorch: An Imperative Style, High-Performance Deep Learning Library , 2019, NeurIPS.

[8] Norman A. Rink,et al. TeIL: a type-safe imperative tensor intermediate language , 2019, ARRAY@PLDI.

[9] Marcos Viera,et al. Structure verification of deep neural networks at compilation time using dependent types , 2019, SBLP 2019.

[10] L. Deng,et al. The MNIST Database of Handwritten Digit Images for Machine Learning Research [Best of the Web] , 2012, IEEE Signal Processing Magazine.

[11] Daniel S. Katz,et al. Swift: A language for distributed parallel scripting , 2011, Parallel Comput..

[12] Tongfei Chen. Typesafe abstractions for tensor operations (short paper) , 2017, SCALA@SPLASH.

[13] Stephanie Weirich,et al. Dependently typed programming with singletons , 2013, Haskell 2013.

[14] Simon L. Peyton Jones,et al. Giving Haskell a promotion , 2012, TLDI '12.