Regional, Lattice and Logical Representations of Neural Networks

Autor(es)

Preto, Sandro ; Finger, Marcelo

• Tipo de documento: Artigo Científico
• Fonte: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; v. N/A, n. 421, p. 153-pg., 2025-01-01.

Resumo

A possible path to the interpretability of neural networks is to (approximately) represent them in the regional format of piecewise linear functions, where regions of inputs are associated to linear functions computing the network outputs. We present an algorithm for the translation of feedforward neural networks with ReLU activation functions in hidden layers and truncated identity activation functions in the output layer. We also empirically investigate the complexity of regional representations outputted by our method for neural networks with varying sizes. Lattice and logical representations of neural networks are straightforward from regional representations as long as they satisfy a specific property. So we empirically investigate to what extent the translations by our algorithm satisfy such property. (AU)

• Processo FAPESP: 19/07665-4 - Centro de Inteligência Artificial
• Beneficiário: Fabio Gagliardi Cozman
• Modalidade de apoio: Auxílio à Pesquisa - Programa eScience e Data Science - Centros de Pesquisa Aplicada
• Processo FAPESP: 21/03117-2 - Verificação formal de redes neurais via lógica infinitamente-valorada de Lukasiewicz
• Beneficiário: Sandro Márcio da Silva Preto
• Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado
• Processo FAPESP: 14/12236-1 - AnImaLS: Anotação de Imagem em Larga Escala: o que máquinas e especialistas podem aprender interagindo?
• Beneficiário: Alexandre Xavier Falcão
• Modalidade de apoio: Auxílio à Pesquisa - Temático
• Processo FAPESP: 15/21880-4 - PROVERBS -- Sistemas Booleanos Probabilísticos Super-restritos: ferramentas de raciocínio e aplicações
• Beneficiário: Marcelo Finger
• Modalidade de apoio: Auxílio à Pesquisa - Regular