Drew, Dave, Larissa And that i had the opportunity to explore the motivatons and foundations for instigating The brand new study concept of Experiential AI inside of a 90 minute discuss.
Interested in synthesizing the semantics of programming languages? We've got a whole new paper on that, approved at OOPSLA.
The Lab carries out exploration in artificial intelligence, by unifying Discovering and logic, by using a current emphasis on explainability
I attended the SML workshop within the Black Forest, and mentioned the connections among explainable AI and statistical relational Discovering.
Gave a talk this Monday in Edinburgh over the rules & apply of machine Mastering, covering motivations & insights from our study paper. Critical inquiries raised bundled, the way to: extract intelligible explanations + modify the model to suit modifying needs.
A consortia undertaking on trusted programs and goverance was approved late last calendar year. Information url in this article.
Considering teaching neural networks with logical constraints? We've got a different paper that aims towards total pleasure of Boolean and linear arithmetic constraints on training at AAAI-2022. Congrats to Nick and Rafael!
The article introduces a general logical framework for reasoning about discrete and steady probabilistic versions in dynamical domains.
Connection In the last 7 days of October, I gave a chat informally discussing explainability and ethical obligation in artificial intelligence. Due to the organizers for your invitation.
Jonathan’s paper considers a lifted approached to weighted model integration, which includes circuit development. Paulius’ paper develops a evaluate-theoretic standpoint on weighted product counting and proposes a means to encode https://vaishakbelle.com/ conditional weights on literals analogously to conditional probabilities, which leads to substantial efficiency enhancements.
Extended abstracts of our NeurIPS paper (on PAC-Studying in to start with-buy logic) and also the journal paper on abstracting probabilistic products was acknowledged to KR's lately posted analysis keep track of.
A journal paper on abstracting probabilistic products is approved. The paper experiments the semantic constraints that allows one particular to summary a posh, low-degree design with a less complicated, superior-level 1.
Our work on synthesizing plans with loops in the existence of sounds will show up while in the Global journal of approximate reasoning.
Our do the job (with Giannis) surveying and distilling techniques to explainability in device Studying continues to be recognized. Preprint below, but the final Variation might be on the internet and open entry quickly.