Drew, Dave, Larissa and I experienced the chance to go over the motivatons and foundations for instigating The brand new research theme of Experiential AI within a 90 minute chat.
Thinking about synthesizing the semantics of programming languages? Now we have a whole new paper on that, accepted at OOPSLA.
Are going to be speaking within the AIUK occasion on concepts and apply of interpretability in equipment Understanding.
I attended the SML workshop inside the Black Forest, and mentioned the connections between explainable AI and statistical relational Finding out.
Gave a chat this Monday in Edinburgh about the ideas & practice of equipment Finding out, covering motivations & insights from our study paper. Crucial concerns lifted provided, the best way to: extract intelligible explanations + modify the design to fit transforming wants.
A consortia undertaking on trusted methods and goverance was approved late last yr. Information link right here.
Thinking about coaching neural networks with logical constraints? We have a new paper that https://vaishakbelle.com/ aims to whole pleasure of Boolean and linear arithmetic constraints on instruction at AAAI-2022. Congrats to Nick and Rafael!
The short article introduces a standard logical framework for reasoning about discrete and ongoing probabilistic versions in dynamical domains.
A recent collaboration Along with the NatWest Group on explainable device Discovering is talked about during the Scotsman. Website link to posting listed here. A preprint on the outcomes might be produced readily available Soon.
Jonathan’s paper considers a lifted approached to weighted product integration, such as circuit building. Paulius’ paper develops a measure-theoretic point of view on weighted design counting and proposes a means to encode conditional weights on literals analogously to conditional probabilities, which results in significant efficiency enhancements.
Prolonged abstracts of our NeurIPS paper (on PAC-Finding out in 1st-order logic) plus the journal paper on abstracting probabilistic versions was accepted to KR's not long ago printed investigate observe.
A journal paper on abstracting probabilistic models is approved. The paper experiments the semantic constraints that allows 1 to abstract a fancy, lower-stage product with an easier, high-level 1.
Our work on synthesizing ideas with loops in the existence of sounds will look inside the Worldwide journal of approximate reasoning.
Our paper on synthesizing ideas with loops within the existence of probabilistic sound, acknowledged the journal of approximate reasoning, has also been accepted into the ICAPS journal observe. Preprint to the total paper right here.