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):

Links

Emacs 29.4 (Org mode 9.6.15)