I gave a chat, entitled "Explainability being a service", at the above party that talked about anticipations concerning explainable AI And just how could be enabled in programs.Previous week, I gave a talk on the pint of science on automated programs as well as their affect, concerning the subject areas of fairness and blameworthiness.The Lab carri

I gave a talk in the workshop on how the synthesis of logic and device Studying, Primarily parts for instance statistical relational Finding out, can enable interpretability.Thinking about synthesizing the semantics of programming languages? We have now a fresh paper on that, recognized at OOPSLA.The Lab carries out investigation in synthetic intel

I gave a chat for the workshop on how the synthesis of logic and device Finding out, Specially locations such as statistical relational Finding out, can enable interpretability.Weighted product counting often assumes that weights are only specified on literals, frequently necessitating the need to introduce auxillary variables. We contemplate a fre