I gave a talk in the workshop on how the synthesis of logic and machine Understanding, Particularly areas which include statistical relational Finding out, can allow interpretability.Interested in synthesizing the semantics of programming languages? We've a whole new paper on that, approved at OOPSLA.The paper tackles unsupervised plan induction mo

I gave a chat within the workshop on how the synthesis of logic and equipment Discovering, In particular places like statistical relational Mastering, can allow interpretability.Weighted product counting generally assumes that weights are only specified on literals, typically necessitating the need to introduce auxillary variables. We take into acc

I gave a chat, entitled "Explainability as being a assistance", at the above function that discussed expectations regarding explainable AI And the way can be enabled in applications.I are going to be supplying a tutorial on logic and Discovering with a focus on infinite domains at this year's SUM. Link to event here.The paper tackles unsupervised s

I gave a talk on the workshop on how the synthesis of logic and machine Studying, Specifically areas for instance statistical relational Understanding, can help interpretability.Weighted model counting frequently assumes that weights are only specified on literals, frequently necessitating the need to introduce auxillary variables. We think about a

I gave a chat on the workshop on how the synthesis of logic and machine learning, Primarily regions like statistical relational Discovering, can allow interpretability.I will likely be providing a tutorial on logic and Finding out by using a center on infinite domains at this 12 months's SUM. Hyperlink to occasion here.Will be Talking for the AIUK