Drew, Dave, Larissa And that i had the chance to explore the motivatons and foundations for instigating the new study topic of Experiential AI in the 90 moment chat.
Serious about synthesizing the semantics of programming languages? We have now a brand new paper on that, recognized at OOPSLA.
The paper tackles unsupervised program induction about mixed discrete-continual knowledge, and is approved at ILP.
For anyone who is attending NeurIPS this year, it's possible you'll be interested in trying out our papers that touch on morality, causality, and interpretability. Preprints are available over the workshop website page.
We take into account the problem of how generalized options (options with loops) is usually considered accurate in unbounded and ongoing domains.
A consortia challenge on dependable methods and goverance was recognized late previous year. News link listed here.
The get the job done is motivated by the need to take a look at and evaluate inference algorithms. A combinatorial argument to the correctness of your Suggestions is likewise regarded as. Preprint listed here.
Bjorn and I are promotion a 2 year postdoc on integrating causality, reasoning and awareness graphs for misinformation detection. See below.
We research setting up in relational Markov selection procedures involving discrete and continuous states and actions, and an not known quantity of objects (by means of probabilistic programming).
Inside the paper, we exploit the XADD knowledge framework to accomplish probabilistic inference in blended discrete-continuous spaces efficiently.
Paulius' Focus on algorithmic procedures for randomly building logic courses and probabilistic logic courses has long been recognized to your rules and practise of constraint programming (CP2020).
The framework is relevant to a sizable course of formalisms, such https://vaishakbelle.com/ as probabilistic relational products. The paper also scientific studies the synthesis problem in that context. Preprint listed here.
If you are attending AAAI this year, you could possibly have an interest in trying out our papers that contact on fairness, abstraction and generalized sum-product or service complications.
I gave a talk on the challenges of artificial intelligence and study priorities within the Global Advancement Modern society.