| Speaker : | Franz Mayr |
| Universidad ORT Uruguay | |
| Date: | 19/09/2018 |
| Time: | 2:00 pm - 3:00 pm |
| Location: | LINCS / EIT Digital |
Abstract
This lecture explores the general problem of explaining the behavior of Artificial Neural Networks (ANN). The goal is to construct a representation which enhances human understanding of an ANN as a sequence classifier, with the purpose of providing insight on the rationale behind the classification of a sequence as positive or negative, but also to enable performing further analyses, such as automata-theoretic formal verification. In particular, a probabilistic algorithm for constructing a deterministic finite automaton which is approximately correct with respect to an artificial neural network is proposed.