Drew, Dave, Larissa and I experienced the chance to talk about the motivatons and foundations for instigating the new investigate theme of Experiential AI within a ninety moment speak.
Thinking about synthesizing the semantics of programming languages? We now have a completely new paper on that, accepted at OOPSLA.
Are going to be Talking with the AIUK occasion on principles and observe of interpretability in device Finding out.
The paper discusses the epistemic formalisation of generalised setting up within the existence of noisy acting and sensing.
Gave a chat this Monday in Edinburgh over the principles & practice of equipment Discovering, masking motivations & insights from our study paper. Key queries raised integrated, how you can: extract intelligible explanations + modify the model to fit switching requires.
I gave a talk on our recent NeurIPS paper in Glasgow while also masking other ways on the intersection of logic, Studying and tractability. Owing to Oana for that invitation.
Enthusiastic about teaching neural networks with reasonable constraints? We have now a completely new paper that aims towards full satisfaction of Boolean and linear arithmetic constraints on training at AAAI-2022. Congrats to Nick and Rafael!
Bjorn And that i are promoting a 2 calendar year postdoc on integrating causality, reasoning and know-how graphs for misinformation detection. See listed here.
Lately, he has consulted with key banks on explainable AI and its affect in financial institutions.
Together with colleagues from Edinburgh and Herriot Watt, We now have set out the demand a new analysis agenda.
Paulius' https://vaishakbelle.com/ Focus on algorithmic procedures for randomly generating logic programs and probabilistic logic programs continues to be accepted to the concepts and practise of constraint programming (CP2020).
Our MLJ (2017) posting on arranging with hybrid MDPs was accepted for presentation for the journal track.
Our work on synthesizing strategies with loops during the existence of sounds will appear within the Worldwide journal of approximate reasoning.
Our operate (with Giannis) surveying and distilling techniques to explainability in equipment Mastering has long been recognized. Preprint in this article, but the ultimate Model might be on the internet and open access before long.