Lecture 24: Neurosymbolic Learning I

The methods we have seen so far are examples of how the combination of neural and symbolic reasoning can help synthesize programs more efficiently. More broadly, there are a number of approaches for combining program synthesis with