I gave a talk at the workshop on how the synthesis of logic and equipment Discovering, In particular regions like statistical relational Discovering, can permit interpretability.
I is going to be offering a tutorial on logic and Mastering that has a focus on infinite domains at this year's SUM. Hyperlink to occasion right here.
The Lab carries out research in synthetic intelligence, by unifying Understanding and logic, with a the latest emphasis on explainability
The paper discusses the epistemic formalisation of generalised setting up inside the existence of noisy acting and sensing.
Gave a chat this Monday in Edinburgh on the ideas & follow of device Finding out, covering motivations & insights from our survey paper. Crucial queries elevated involved, how to: extract intelligible explanations + modify the model to fit altering requirements.
I’ll be supplying a talk for the conference on truthful and responsible AI from the cyber physical programs session. Thanks to Ram & Christian for that invitation. Website link to party.
We've got a completely new paper accepted on Mastering optimal linear programming goals. We just take an “implicit“ speculation construction technique that yields awesome theoretical bounds. Congrats to Gini and Alex on getting this paper acknowledged. Preprint listed here.
I gave a seminar on extending the expressiveness of probabilistic relational styles with initially-get features, like universal quantification above infinite domains.
Link In the final week of Oct, I gave a talk informally discussing explainability and moral duty in synthetic intelligence. Because of the organizers for your invitation.
Jonathan’s paper considers a lifted approached https://vaishakbelle.com/ to weighted design integration, together with circuit building. Paulius’ paper develops a evaluate-theoretic perspective on weighted model counting and proposes a method to encode conditional weights on literals analogously to conditional probabilities, which results in substantial effectiveness improvements.
On the University of Edinburgh, he directs a investigate lab on synthetic intelligence, specialising within the unification of logic and equipment Understanding, having a the latest emphasis on explainability and ethics.
The paper discusses how to manage nested functions and quantification in relational probabilistic graphical models.
I gave an invited tutorial the Bath CDT Art-AI. I included existing tendencies and long term tendencies on explainable equipment Studying.
I gave a talk within the dangers of synthetic intelligence and exploration priorities with the Global Growth Culture.