I gave a chat on the workshop on how the synthesis of logic and device Discovering, Particularly locations including statistical relational Understanding, can allow interpretability.
Enthusiastic about synthesizing the semantics of programming languages? Now we have a new paper on that, accepted at OOPSLA.
The Lab carries out research in synthetic intelligence, by unifying Studying and logic, which has a modern emphasis on explainability
The paper discusses the epistemic formalisation of generalised scheduling inside the existence of noisy performing and sensing.
Gave a talk this Monday in Edinburgh about the principles & exercise of machine Discovering, covering motivations & insights from our study paper. Crucial thoughts elevated bundled, the way to: extract intelligible explanations + modify the model to fit changing demands.
I’ll be offering a chat for the meeting on fair and responsible AI while in the cyber Actual physical techniques session. Because of Ram & Christian for that invitation. Connection to celebration.
Now we have a completely new paper recognized on Discovering exceptional linear programming targets. We acquire an “implicit“ speculation building strategy that yields great theoretical bounds. Congrats to Gini and Alex on obtaining this paper accepted. Preprint here.
The write-up introduces a typical rational framework for reasoning about discrete and continual probabilistic types in dynamical domains.
We study organizing in relational Markov conclusion processes involving discrete and steady states and steps, and an not known number of objects (through probabilistic programming).
During the paper, we exploit the XADD details composition to conduct probabilistic inference in combined discrete-constant spaces efficiently.
Extended abstracts of our NeurIPS paper (on PAC-Understanding in very first-order logic) and the journal paper on abstracting probabilistic products was approved to KR's not too long ago printed research observe.
The paper discusses how to manage nested functions and quantification in relational probabilistic graphical styles.
In case you are attending AAAI this yr, chances are you'll have an interest in checking out our papers that touch on fairness, abstraction and generalized sum-product difficulties.
Our paper on synthesizing ideas with https://vaishakbelle.com/ loops in the existence of probabilistic sound, accepted the journal of approximate reasoning, has also been recognized to your ICAPS journal observe. Preprint to the total paper listed here.