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

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]

This author has not been identified. Look up 'Leonardo Piñeyro' in GoogleThis author has not been identified. Look up 'Alberto Pardo' in GoogleThis author has not been identified. Look up 'Marcos Viera' in Google

runs on WebDSL