Drew, Dave, Larissa and I experienced the chance to go over the motivatons and foundations for instigating the new exploration concept of Experiential AI inside a ninety minute talk.
Serious about synthesizing the semantics of programming languages? We now have a brand new paper on that, approved at OOPSLA.
The Lab carries out exploration in artificial intelligence, by unifying Finding out and logic, with a new emphasis on explainability
For anyone who is attending NeurIPS this year, you could possibly have an interest in checking out our papers that touch on morality, causality, and interpretability. Preprints can be found about the workshop web site.
An posting for the setting up and inference workshop at AAAI-18 compares two distinct strategies for probabilistic setting up via probabilistic programming.
I gave a talk on our recent NeurIPS paper in Glasgow when also covering other approaches within the intersection of logic, Finding out and tractability. Due to Oana for the invitation.
We've got a different paper recognized on Discovering optimal linear programming objectives. We consider an “implicit“ hypothesis construction method that yields great theoretical bounds. Congrats to Gini and Alex on acquiring https://vaishakbelle.com/ this paper acknowledged. Preprint listed here.
I gave a seminar on extending the expressiveness of probabilistic relational designs with initial-get capabilities, for example universal quantification around infinite domains.
A short while ago, he has consulted with significant financial institutions on explainable AI and its impression in financial institutions.
While in the paper, we exploit the XADD facts framework to accomplish probabilistic inference in blended discrete-ongoing Areas successfully.
He has served about the senior system committee/region chair of major AI conferences, co-chaired the ML observe at KR, amid Other people, and as PI and CoI secured a grant money of near to 8 million kilos.
The framework is applicable to a significant class of formalisms, which include probabilistic relational designs. The paper also scientific tests the synthesis issue in that context. Preprint below.
In case you are attending AAAI this yr, you could possibly be interested in looking at our papers that touch on fairness, abstraction and generalized sum-solution difficulties.
I gave a chat within the risks of synthetic intelligence and analysis priorities at the Global Improvement Modern society.