I gave a talk within the workshop on how the synthesis of logic and device Finding out, Specifically spots for instance statistical relational Studying, can empower interpretability.Thinking about synthesizing the semantics of programming languages? We've got a different paper on that, approved at OOPSLA.The paper tackles unsupervised system induct