I gave a chat within the workshop on how the synthesis of logic and device Finding out, Specifically areas for instance statistical relational Understanding, can help interpretability.
Interested in synthesizing the semantics of programming languages? We've a whole new paper on that, approved at OOPSLA.
The Lab carries out analysis in synthetic intelligence, by unifying Mastering and logic, using a recent emphasis on explainability
The paper discusses the epistemic formalisation of generalised scheduling inside the existence of noisy performing and sensing.
We evaluate the question of how generalized plans (plans with loops) may be deemed correct in unbounded and continuous domains.
A consortia venture on honest programs and goverance was accepted late very last year. Information hyperlink below.
The function is determined by the necessity to check and Examine inference algorithms. A combinatorial argument for the correctness on the ideas can be considered. Preprint right here.
Bjorn and I are marketing a two 12 months postdoc on integrating causality, reasoning and expertise graphs for misinformation detection. See listed here.
Not long ago, he has consulted with important financial institutions on explainable AI and its affect in economic establishments.
Within the paper, we exploit the XADD knowledge framework https://vaishakbelle.com/ to accomplish probabilistic inference in blended discrete-continuous spaces efficiently.
He has served to the senior method committee/place chair of big AI conferences, co-chaired the ML monitor at KR, amid Other individuals, and as PI and CoI secured a grant revenue of close to eight million kilos.
Our MLJ (2017) post on setting up with hybrid MDPs was accepted for presentation for the journal track.
Our Focus on synthesizing options with loops in the existence of noise will appear within the international journal of approximate reasoning.
Our paper on synthesizing programs with loops from the existence of probabilistic sound, approved the journal of approximate reasoning, has also been acknowledged on the ICAPS journal monitor. Preprint to the total paper right here.