I gave a talk within the workshop on how the synthesis of logic and equipment learning, especially regions including statistical relational learning, can permit interpretability.
Weighted product counting often assumes that weights are only specified on literals, often necessitating the necessity to introduce auxillary variables. We take into consideration a completely new solution based upon psuedo-Boolean features, resulting in a more typical definition. Empirically, we also get SOTA effects.
The Lab carries out analysis in artificial intelligence, by unifying Mastering and logic, by using a current emphasis on explainability
For anyone who is attending NeurIPS this yr, you may be interested in testing our papers that touch on morality, causality, and interpretability. Preprints are available on the workshop website page.
We consider the query of how generalized ideas (programs with loops) could be deemed right in unbounded and steady domains.
The short article, to appear in The Biochemist, surveys a lot of the motivations and ways for creating AI interpretable and liable.
Serious about coaching neural networks with reasonable constraints? We have now a completely new paper that aims towards full satisfaction of Boolean and linear arithmetic constraints on coaching at AAAI-2022. Congrats to Nick and Rafael!
Bjorn and I are advertising a two yr postdoc on integrating causality, reasoning and expertise graphs for misinformation detection. See below.
We analyze arranging in relational Markov decision processes involving discrete and continual https://vaishakbelle.com/ states and actions, and an unfamiliar number of objects (through probabilistic programming).
During the paper, we exploit the XADD data construction to complete probabilistic inference in blended discrete-continual Areas efficiently.
He has served on the senior program committee/space chair of important AI conferences, co-chaired the ML observe at KR, amid Other individuals, and as PI and CoI secured a grant revenue of close to eight million kilos.
Our MLJ (2017) short article on preparing with hybrid MDPs was approved for presentation in the journal observe.
Our Focus on synthesizing designs with loops in the existence of sounds will surface in the international journal of approximate reasoning.
Our paper on synthesizing ideas with loops within the presence of probabilistic noise, recognized the journal of approximate reasoning, has also been recognized into the ICAPS journal keep track of. Preprint to the complete paper below.