Lecture 4# This lecture covers some basic approaches to neural and neurosymbolic search in program space.
