The Samsung AI Center Cambridge is an ambitious and independent research centre targeting "Human-Centric AI" to enrich peoples’ lives using upcoming AI technologies.
To help power Samsung’s Corporate strategy for AI, the Cambridge AI Center is hiring diverse skills in research, engineering and design. It collaborates closely with universities to meet the research ambitions of universities and of Samsung.
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
Samsung AI, Cambridge. Introduction/Greeting
Leslie Valiant, Harvard University.
Title: How to Augment Supervised Learning with Reasoning?
Martin Grohe, RWTH Aachen.
Title: The Logic of Graph Neural Networks.
Jiajun Wu, Stanford University.
Title: Neuro-Symbolic Visual Concept Learning.
Daisy Zhe Wang, University of Florida.
Title: Neural-Symbolic models for Knowledge Graph Extraction and Reasoning.
Madhusudan Parthasarathy, University of Illinois.
Balder ten Cate, Google.
Title: Providing deep models with access to structured knowledge - motivations, techniques, and challenges.
Efi Tsamoura, Samsung AI Center, Cambridge.
Title: Neural-Symbolic Integration: A Compositional Perspective
Jacob Andreas, MIT.
Title: Compositional Explanations of Deep Networks.
Le Song, Georgia Institute of Technology.
Title: Efficient probabilistic logic reasoning with graph neural networks.
Ryan Riegel, IBM Research.
Title: A New Paradigm of Logical Neural Networks
Christos Papadimitriou, Columbia University.
Title: Language, Brain, and Computation.