Samsung AI neurosymbolic workshop

Samsung AI neurosymbolic workshop 2021

Feb 15 - Feb 17, 2021

The effort to integrate logic with deep learning has intensified in recent years and has the potential to give rise to a new computational paradigm in which symbolic knowledge is used to assist deep learning systems or extend their capabilities, while offering, at the same time, a path towards the grounding of symbols and the induction of knowledge from low-level sensory data.

The synergy of these two different worlds is the topic of the workshop “When deep learning meets logic”. This workshop aims at the following: (i) present the applications that are enabled by this computational paradigm; (ii) explore the state-of-the-art and understand its level of maturity and adoption by the industrial sector; in particular, techniques and theory developed from both the deep learning and the logic communities will be presented; and (iii) identify some of the big questions that are open in this area and single out problems that require further investigation.

The workshop will take place from the February 15 to February 17, 2021, and all the recorded talks will be available in the workshop’s website.

Registration is free. To register, please follow the link

For any inquiries, please contact Efi Tsamoura at or Alfie Hammali at


Workshop secretariat

  • Alfie Hammali, Samsung AI Center, Cambridge

Monday 15 Feb


Andrew Blake,

Samsung AI, Cambridge. Introduction/Greeting

15:15 - 16:00

Leslie Valiant, Harvard University.

Title: How to Augment Supervised Learning with Reasoning?

16:15 - 17:00

Martin Grohe, RWTH Aachen.

Title: The Logic of Graph Neural Networks.

17:15 - 18:00

Jiajun Wu, Stanford University.

Title: Neuro-Symbolic Visual Concept Learning.

Tuesday 16 Feb

15:00 - 15:45

Daisy Zhe Wang, University of Florida.

Title: Neural-Symbolic models for Knowledge Graph Extraction and Reasoning.

16:00 - 16:45

Madhusudan Parthasarathy, University of Illinois.

Title: Exploring Combinations of Neural and Logic Learning

Wednesday 17 Feb

15:00 - 15:45

Jacob Andreas, MIT.

Title: Compositional Explanations of Deep Networks.

16:00 - 16:45

Le Song, Georgia Institute of Technology.

Title: Efficient probabilistic logic reasoning with graph neural networks.

17:00 - 17:45

Ryan Riegel, IBM Research.

Title: A New Paradigm of Logical Neural Networks

18:00 - 18:45

Christos Papadimitriou, Columbia University.

Title: Language, Brain, and Computation.