I gave a chat in the workshop on how the synthesis of logic and device Finding out, Specifically areas which include statistical relational Finding out, can enable interpretability.I are going to be supplying a tutorial on logic and Discovering which has a focus on infinite domains at this calendar year's SUM. Connection to party in this article.I