I gave a chat at the workshop on how the synthesis of logic and device Finding out, Specifically spots for instance statistical relational Studying, can empower interpretability.
I will likely be providing a tutorial on logic and Finding out by using a target infinite domains at this 12 months's SUM. Url to function listed here.
I gave a talk entitled "Perspectives on Explainable AI," at an interdisciplinary workshop specializing in constructing have confidence in in AI.
The paper discusses the epistemic formalisation of generalised arranging during the presence of noisy acting and sensing.
Our paper (joint with Amelie Levray) on Studying credal sum-product networks has been recognized to AKBC. These networks, in conjunction with other kinds of probabilistic circuits, are appealing since they warranty that selected forms of probability estimation queries can be computed in time linear in the scale in the community.
I gave a talk on our the latest NeurIPS paper in Glasgow although also masking other approaches on the intersection of logic, Discovering and tractability. Due to Oana https://vaishakbelle.com/ for that invitation.
We've got a whole new paper acknowledged on Understanding ideal linear programming goals. We consider an “implicit“ hypothesis design solution that yields pleasant theoretical bounds. Congrats to Gini and Alex on finding this paper approved. Preprint listed here.
I gave a seminar on extending the expressiveness of probabilistic relational models with initially-purchase options, for example universal quantification about infinite domains.
We review scheduling in relational Markov choice processes involving discrete and constant states and actions, and an mysterious range of objects (via probabilistic programming).
Together with colleagues from Edinburgh and Herriot Watt, we have set out the demand a different investigate agenda.
Paulius' Focus on algorithmic techniques for randomly generating logic systems and probabilistic logic packages is accepted to your ideas and practise of constraint programming (CP2020).
The paper discusses how to handle nested functions and quantification in relational probabilistic graphical styles.
I gave an invited tutorial the Bathtub CDT Artwork-AI. I protected latest traits and upcoming traits on explainable device Mastering.
Our function (with Giannis) surveying and distilling approaches to explainability in equipment Understanding continues to be recognized. Preprint below, but the final Variation is going to be online and open up access before long.