Drew, Dave, Larissa and I had the opportunity to focus on the motivatons and foundations for instigating the new analysis concept of Experiential AI inside of a 90 minute chat.
Enthusiastic about synthesizing the semantics of programming languages? We now have a whole new paper on that, acknowledged at OOPSLA.
Might be speaking for the AIUK occasion on rules and apply of interpretability in equipment Studying.
I attended the SML workshop inside the Black Forest, and mentioned the connections between explainable AI and statistical relational Finding out.
Gave a chat this Monday in Edinburgh over the concepts & observe of equipment Discovering, masking motivations & insights from our survey paper. Crucial issues lifted involved, tips on how to: extract intelligible explanations + modify the product to fit modifying requirements.
I’ll be supplying a talk in the meeting on reasonable and liable AI from the cyber Bodily systems session. Because of Ram & Christian for the invitation. Backlink to event.
We have now a brand new paper approved on learning ideal linear programming objectives. We consider an “implicit“ hypothesis development approach that yields good theoretical bounds. Congrats to Gini and Alex on receiving this paper recognized. Preprint here.
I gave a seminar on extending the expressiveness of probabilistic relational types with very first-order attributes, such as common quantification in excess of infinite domains.
We examine scheduling in relational Markov selection procedures involving discrete and continuous states and actions, and an unfamiliar number of objects (by way of probabilistic programming).
While in the paper, we exploit the XADD facts framework to accomplish probabilistic inference in blended discrete-continual Areas competently.
Paulius' work on algorithmic methods for randomly producing logic programs and probabilistic logic programs has long been approved on the ideas and practise of constraint programming (CP2020).
The framework is applicable to a significant class of formalisms, which include probabilistic relational models. The paper also scientific tests the synthesis problem in that context. Preprint listed here.
When you are attending AAAI this calendar year, you might be interested in checking out our papers that touch on https://vaishakbelle.com/ fairness, abstraction and generalized sum-product issues.
I gave a talk over the challenges of artificial intelligence and investigate priorities with the International Enhancement Culture.