I gave a chat with the workshop on how the synthesis of logic and device Finding out, Specifically areas such as statistical relational Finding out, can enable interpretability.Enthusiastic about synthesizing the semantics of programming languages? We have now a new paper on that, accepted at OOPSLA.I gave a talk entitled "Views on Explainable AI,"

I gave a chat, entitled "Explainability as a assistance", at the above mentioned event that talked about anticipations relating to explainable AI And exactly how might be enabled in apps.Last week, I gave a talk at the pint of science on automated methods and their effect, touching on the topics of fairness and blameworthiness.I gave a chat entitle

It experiments how representations in these logics behave in a dynamic setting, and introduces operators for decreasing a query right after actions to an initial state, or updating the illustration versus Those people steps.Very last 7 days, I gave a talk in the pint of science on automatic units as well as their effect, bearing on the subjects of

It studies how representations in these logics behave within a dynamic placing, and introduces operators for lessening a query right after steps to an Original state, or updating the representation in opposition to All those steps.I will probably be giving a tutorial on logic and Studying using a give attention to infinite domains at this yr's SUM.

I gave a chat within the workshop on how the synthesis of logic and equipment Mastering, In particular places such as statistical relational Finding out, can allow interpretability.I will probably be giving a tutorial on logic and Studying using a give attention to infinite domains at this yr's SUM. Website link to occasion right here.I gave a chat