Seminário remoto "Lógicos em Quarentena" 13/08/2020 (quinta-feira) 16:00h

[Bruno Lopes]

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).

Data: 13 de agosto de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Brendan Fong (MIT)
Título: Backprop as Functor: A compositional perspective on supervised learning
Resumo: Backprop as Functor: A compositional perspective on supervised learning
Resumo: A supervised learning algorithm searches over a set of functions A→B parametrised by a space P to find the best approximation to some ideal function f:A→B. It does this by taking examples (a,f(a))∈A×B, and updating the parameter according to some rule. We define a category where these update rules may be composed, and show that gradient descent---with respect to a fixed step size and an error function satisfying a certain property---defines a monoidal functor from a category of parametrised functions to this category of update rules. This provides a structural perspective on backpropagation, as well as a broad generalisation of neural networks.

A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/qhk-kstn-ahy .

--

Bruno Lopes

Professor Adjunto

Instituto de Computação

Universidade Federal Fluminense

http://www.ic.uff.br/~bruno