I gave a talk on the workshop on how the synthesis of logic and machine Studying, Specifically spots for instance statistical relational Understanding, can help interpretability.Serious about synthesizing the semantics of programming languages? We have a brand new paper on that, acknowledged at OOPSLA.The paper tackles unsupervised method induction

I gave a talk in the workshop on how the synthesis of logic and equipment Understanding, Specially regions including statistical relational learning, can empower interpretability.Considering synthesizing the semantics of programming languages? We have now a completely new paper on that, accepted at OOPSLA.The Lab carries out research in synthetic i