Neurosymbolic Programming

See 11:23 here to understand how this is related to Human-In-The-Loop (HITL) Machine Learning. The search procedure can be thought of as searching for a symbolic equation that governs some physical phenomenon, or searching for a computer program over some Domain Specific Language (DSL). In the latter case, there are 3 dimensions (as per 15:02 here):

• User intent - how to tell the system what the user wants.
• Search space - the space of possible programs to explore.
• Search strategy - how does the system find the program you actually want.