I gave a talk on the workshop on how the synthesis of logic and machine Understanding, Specifically locations such as statistical relational Finding out, can enable interpretability.Considering synthesizing the semantics of programming languages? We now have a different paper on that, recognized at OOPSLA.I gave a chat entitled "Perspectives on Exp

I gave a chat at the workshop on how the synthesis of logic and equipment Discovering, In particular locations such as statistical relational Finding out, can enable interpretability.Weighted product counting generally assumes that weights are only specified on literals, generally necessitating the necessity to introduce auxillary variables. We tak

It experiments how representations in these logics behave in a dynamic environment, and introduces operators for cutting down a question after actions to an initial condition, or updating the representation in opposition to Those people steps.Last week, I gave a chat at the pint of science on automated methods and their effect, relating the matters

It scientific studies how representations in these logics behave inside of a dynamic environment, and introduces operators for cutting down a query soon after steps to an Original state, or updating the illustration versus those actions.Serious about synthesizing the semantics of programming languages? We've a different paper on that, recognized at

Drew, Dave, Larissa and I had the chance to focus on the motivatons and foundations for instigating the new analysis concept of Experiential AI in a 90 minute chat.Very last 7 days, I gave a chat for the pint of science on automatic units as well as their effects, touching on the topics of fairness and blameworthiness.I gave a chat entitled "Perspe