Drew, Dave, Larissa And that i experienced the chance to go over the motivatons and foundations for instigating The brand new investigate theme of Experiential AI within a ninety moment communicate.
Enthusiastic about synthesizing the semantics of programming languages? Now we have a new paper on that, approved at OOPSLA.
The Lab carries out exploration in artificial intelligence, by unifying Discovering and logic, that has a latest emphasis on explainability
Should you be attending NeurIPS this year, chances are you'll be interested in trying out our papers that contact on morality, causality, and interpretability. Preprints can be found to the workshop web page.
Our paper (joint with Amelie Levray) on Discovering credal sum-solution networks has actually been accepted to AKBC. This sort of networks, in conjunction with other sorts of probabilistic circuits, are beautiful simply because they promise that sure kinds of probability estimation queries may be computed in time linear in the size in the network.
The short article, to appear within the Biochemist, surveys some of the motivations and techniques for producing AI interpretable and liable.
The do the job is inspired by the necessity to examination and Consider inference algorithms. A combinatorial argument for the correctness on the ideas can be thought of. Preprint right here.
Bjorn and I are advertising and marketing a 2 year postdoc on integrating causality, reasoning and awareness graphs for misinformation detection. See below.
Not long ago, he has consulted with significant financial institutions on explainable AI and its impact in economic establishments.
Within the paper, we exploit https://vaishakbelle.com/ the XADD info framework to conduct probabilistic inference in blended discrete-continual Areas successfully.
He has served around the senior program committee/area chair of important AI conferences, co-chaired the ML keep track of at KR, amid Other folks, and as PI and CoI secured a grant revenue of close to eight million lbs.
Our MLJ (2017) post on setting up with hybrid MDPs was accepted for presentation with the journal keep track of.
For anyone who is attending AAAI this calendar year, you may be interested in checking out our papers that touch on fairness, abstraction and generalized sum-item difficulties.
Our paper on synthesizing options with loops from the existence of probabilistic sound, acknowledged the journal of approximate reasoning, has also been acknowledged for the ICAPS journal monitor. Preprint to the full paper here.