I gave a chat at the workshop on how the synthesis of logic and equipment Studying, Particularly areas such as statistical relational Discovering, can empower interpretability.Thinking about synthesizing the semantics of programming languages? We now have a completely new paper on that, accepted at OOPSLA.I gave a talk entitled "Views on Explainabl