I was very excited to be giving an invited talk at the Samsung AI Forum in Seoul today. Thanks to Samsung for the invitation and the hospitality. Slides for my talk, entitled “Symbolic Logic meets Machine Learning: Towards Transparent and Responsible AI,” can be found here.