I gave a talk at 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 investigate in synthetic intell

I gave a talk for the workshop on how the synthesis of logic and device Finding out, In particular locations such as statistical relational Mastering, can permit interpretability.Last week, I gave a talk on the pint of science on automated devices as well as their effects, touching on the topics of fairness and blameworthiness.The paper tackles uns

I gave a talk, entitled "Explainability to be a support", at the above mentioned event that talked about anticipations regarding explainable AI And just how might be enabled in purposes.Weighted model counting often assumes that weights are only specified on literals, often necessitating the necessity to introduce auxillary variables. We look at a