Develop foundation models that guide combinatorial search using neuro-symbolic techniques, combining neural networks and search algorithms to enable data-efficient, few-shot solutions for planning, scheduling, explainable models, and program synthesis.