Drew, Dave, Larissa and I experienced the chance to go over the motivatons and foundations for instigating The brand new analysis theme of Experiential AI inside of a 90 minute communicate.
Keen on synthesizing the semantics of programming languages? We've got a whole new paper on that, acknowledged at OOPSLA.
The Lab carries out investigation in artificial intelligence, by unifying Finding out and logic, with a modern emphasis on explainability
I attended the SML workshop in the Black Forest, and discussed the connections involving explainable AI and statistical relational Studying.
Gave a talk this Monday in Edinburgh over the concepts & exercise of machine learning, masking motivations & insights from our survey paper. Key issues elevated included, ways to: extract intelligible explanations + modify the design to fit transforming wants.
I’ll be providing a chat within the conference on reasonable and dependable AI in the cyber physical programs session. Thanks to Ram & Christian for your invitation. Backlink to party.
The function is inspired by the necessity to take a look at and Examine inference algorithms. A combinatorial argument for the correctness in the Concepts is usually considered. Preprint right here.
Bjorn and I are advertising and marketing a 2 calendar year postdoc on integrating causality, reasoning and information graphs for misinformation detection. See here.
A latest collaboration with the NatWest Group on explainable equipment Understanding is talked over within the Scotsman. Connection to post below. A preprint on the results is going to be made offered Soon.
Jonathan’s paper considers a lifted approached to weighted design integration, which include circuit design. Paulius’ paper develops a evaluate-theoretic perspective on https://vaishakbelle.com/ weighted model counting and proposes a way to encode conditional weights on literals analogously to conditional probabilities, which leads to considerable effectiveness advancements.
Paulius' Focus on algorithmic approaches for randomly creating logic applications and probabilistic logic applications has been recognized on the ideas and practise of constraint programming (CP2020).
The framework is relevant to a big course of formalisms, such as probabilistic relational types. The paper also studies the synthesis dilemma in that context. Preprint in this article.
I gave an invited tutorial the Bath CDT Art-AI. I covered present developments and foreseeable future tendencies on explainable device Mastering.
I gave a chat to the hazards of artificial intelligence and exploration priorities on the International Progress Culture.