Neuro-Symbolic Modeling

In this lecture, we will look at how symbolic reasoning can be used to systematically post-process the predictions of neural networks. First, we will see a high level overview of structured outputs. Following that we will focus on two broad families of approaches for predicting structures: search and integer programming.

Lectures

• Neural networks & Structures
• Graph search for inference
• Integer Linear Programming inference