Salle 206 (salle Chamois)
13 September 2018 - 14h00
Regular inference on artificial neural networks
by Franz Mayr from Universidad ORT Uruguay
13 September 2018 - 14h00
Regular inference on artificial neural networks
by Franz Mayr from Universidad ORT Uruguay
Abstract: This paper 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.
This is a joint work with Sergio Yovine. Franz is invited until Friday 14th of September.
