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]
Abstract is missing.