I gave a chat in the workshop on how the synthesis of logic and equipment Discovering, Primarily places like statistical relational Discovering, can permit interpretability.
Serious about synthesizing the semantics of programming languages? We've a whole new paper on that, approved at OOPSLA.
Might be speaking in the AIUK party on rules and apply of interpretability in equipment Finding out.
If you are attending NeurIPS this 12 months, you could have an interest in checking out our papers that touch on morality, causality, and interpretability. Preprints are available around the workshop site.
We think about the issue of how generalized strategies (strategies with loops) might be deemed appropriate in unbounded and constant domains.
I’ll be offering a chat on the meeting on honest and dependable AI within the cyber Bodily systems session. Because of Ram & Christian with the invitation. Website link to party.
We now have a completely new paper accepted on Finding out exceptional linear programming objectives. We get an “implicit“ speculation design approach that yields great theoretical bounds. Congrats to Gini and Alex on receiving this paper recognized. https://vaishakbelle.com/ Preprint here.
A journal paper has long been approved on prior constraints in tractable probabilistic types, readily available to the papers tab. Congratulations Giannis!
A modern collaboration With all the NatWest Team on explainable device learning is reviewed inside the Scotsman. Connection to report here. A preprint on the final results are going to be manufactured accessible Soon.
Together with colleagues from Edinburgh and Herriot Watt, We've got place out the demand a new study agenda.
Within the College of Edinburgh, he directs a study lab on synthetic intelligence, specialising while in the unification of logic and machine Mastering, using a recent emphasis on explainability and ethics.
The framework is applicable to a large class of formalisms, including probabilistic relational types. The paper also research the synthesis challenge in that context. Preprint right here.
I gave an invited tutorial the Bath CDT Art-AI. I lined latest trends and long term developments on explainable device Mastering.
Meeting backlink Our work on symbolically interpreting variational autoencoders, as well as a new learnability for SMT (satisfiability modulo idea) formulation received accepted at ECAI.