11 August 2023
Formal Techniques for Neural-symbolic Modeling
This is intended to be an advanced course on current methods for combining symbolic logic and neural networks, with applications to problems in natural language processing (NLP). In particular, we focus on techniques that use symbolic knowledge and declarative constraints to train machine learning models by compiling the corresponding symbolic logic into a differentiable form, also known as the logic as a loss function family of approaches. Details of current approach in NLP, as well as the formal and algorithmic techniques needed to doing this, will be covered in detail and drawn from the broader literature of neural-symbolic learning and reasoning.
Course leader
Kyle Richardson and Vivek Srikumar
Target group
Students
Fee info
EUR 490: Early student registration
EUR 690: Early non-academic registration
Scholarships
There are several scholarship options which you can read about on our website.