I gave a chat in the workshop on how the synthesis of logic and equipment Mastering, Specifically areas for instance statistical relational Studying, can empower interpretability.
I will likely be providing a tutorial on logic and Understanding using a give attention to infinite domains at this yr's SUM. Website link to occasion right here.
I gave a talk entitled "Views on Explainable AI," at an interdisciplinary workshop concentrating on developing trust in AI.
He has designed a career away from accomplishing analysis to the science and technologies of AI. He has revealed near 120 peer-reviewed content articles, gained most effective paper awards, and consulted with banks on explainability. As PI and CoI, he has secured a grant revenue of near to eight million lbs ..
Gave a talk this Monday in Edinburgh around the principles & practice of equipment Discovering, masking motivations & insights from our survey paper. Crucial concerns raised bundled, ways to: extract intelligible explanations + modify the design to fit changing needs.
I’ll be providing a chat in the convention on fair and dependable AI during the cyber Bodily devices session. Due to Ram & Christian for that invitation. Link to function.
We have now a new paper acknowledged on Mastering exceptional linear programming objectives. We get an “implicit“ hypothesis development tactic that yields nice theoretical bounds. Congrats to Gini and Alex on obtaining this paper acknowledged. Preprint listed here.
A journal paper is accepted on prior constraints in tractable probabilistic models, out there to the papers tab. Congratulations Giannis!
A the latest collaboration Along with the NatWest Group on explainable device Studying is talked over while in the Scotsman. Hyperlink to short article right here. A preprint on the effects is going to be made offered shortly.
Jonathan’s paper considers a lifted approached to weighted product integration, such as circuit building. Paulius’ paper develops a evaluate-theoretic standpoint on weighted model counting and proposes a way to encode conditional weights on literals analogously to conditional probabilities, which ends up in major performance improvements.
Paulius' work on algorithmic methods for randomly producing logic applications and probabilistic logic applications continues to be accepted to the concepts and practise of constraint programming (CP2020).
The framework is applicable to a substantial class of formalisms, like probabilistic relational designs. The paper also scientific tests the synthesis difficulty in that context. Preprint in this article.
If you're attending AAAI this yr, you could possibly https://vaishakbelle.com/ have an interest in trying out our papers that contact on fairness, abstraction and generalized sum-product or service complications.
Our paper on synthesizing ideas with loops within the presence of probabilistic noise, recognized the journal of approximate reasoning, has also been recognized into the ICAPS journal keep track of. Preprint to the complete paper below.