Category Theory
Zulip Server
Archive

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.


Stream: deprecated: our papers

Topic: Categorical semantics of compositional RL


view this post on Zulip Georgios Bakirtzis (Sep 03 2022 at 16:34):

Fresh off the presses w/ Michalis Savvas and Ufuk Topcu https://arxiv.org/pdf/2208.13687.pdf

view this post on Zulip Sichu Lu (Nov 05 2022 at 23:33):

Have you tried promoting this paper with the AGI safety people? They would really like this stuff. Or the interpretable ml crowd?(edit, I might just post this to some related places)

view this post on Zulip Georgios Bakirtzis (Nov 07 2022 at 13:00):

I am not sure where these people hang out, please let me know how the conversation goes if you do (or let me know where it is if in public)

view this post on Zulip Sichu Lu (Nov 07 2022 at 23:03):

Well, I am waiting for some people to get back to me, but I was thinking about posting this on https://www.alignmentforum.org/ and it cross posts to the less wrong as well. If there is interest, maybe you should be the one to do it since it's your paper.

view this post on Zulip Georgios Bakirtzis (Nov 08 2022 at 15:14):

You're welcome to do it since you know the community better if you have the time, I'll chip in if you setup the threads in the right locations for that community. But up to you!