Structure verification of deep neural networks at compilation time using dependent types - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Leonardo Piñeyro, Alberto Pardo, Marcos Viera. Structure verification of deep neural networks at compilation time using dependent types. In Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019. pages 46-53, ACM, 2019. [doi]

The following publications are possibly variants of this publication:

Structure verification of deep neural networks at compilation timeLeonardo Piñeyro, Alberto Pardo, Marcos Viera. JCL (JVLC), 67:101074, 2021. [doi]

runs on WebDSL