You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tim Hosgood (May 16 2022 at 21:55):This Thursday (the 19th) at 17:00 UTC
Alexandra Silva: Learning Weighted Automata over Principal Ideal Domains
In the first part of this talk, we discuss active learning algorithms for weighted automata over a semiring. We show that a variant of Angluin's seminal L* algorithm works when the semiring is a principal ideal domain, but not for general semirings such as the natural numbers. In the second part, we present some preliminary work on active learning for probabilistic automata, and in particular discuss what the setup of the problem looks like and how that leads (or not) to impossibility results.
Zoom: https://topos-institute.zoom.us/j/84392523736?pwd=bjdVS09wZXVscjQ0QUhTdGhvZ3pUdz09
YouTube: https://youtu.be/UI8M7MR3rV0