I gave a talk within the workshop on how the synthesis of logic and device Finding out, Particularly spots for instance statistical relational Studying, can empower interpretability.Weighted model counting often assumes that weights are only specified on literals, often necessitating the necessity to introduce auxillary variables. We take into cons

I gave a chat, entitled "Explainability being a service", at the above party that talked about anticipations relating to explainable AI And exactly how could possibly be enabled in apps.Weighted model counting frequently assumes that weights are only specified on literals, frequently necessitating the need to introduce auxillary variables. We think

Drew, Dave, Larissa and I had the chance to talk about the motivatons and foundations for instigating The brand new research theme of Experiential AI in a very 90 minute converse.Final week, I gave a talk on the pint of science on automated programs as well as their impression, touching on the subjects of fairness and blameworthiness.I gave a talk

I gave a chat in the workshop on how the synthesis of logic and machine Understanding, Primarily spots which include statistical relational Finding out, can enable interpretability.Considering synthesizing the semantics of programming languages? We now have a new paper on that, accepted at OOPSLA.The paper tackles unsupervised software induction mo

I gave a talk, entitled "Explainability for a services", at the above mentioned event that talked about anticipations relating to explainable AI And exactly how might be enabled in apps.Weighted model counting often assumes that weights are only specified on literals, often necessitating the necessity to introduce auxillary variables. We take into