Structure verification of deep neural networks at compilation time using dependent types.

Leonardo Piñeyro Alberto Pardo Marcos Viera

Published in: SBLP (2019)

Keyphrases

neural network
pattern recognition
artificial neural networks
databases
machine learning
image sequences
programming language
tree structure
hierarchical structure
fuzzy systems
neural network structure
symbolic knowledge