Skip to yearly menu bar Skip to main content


Poster

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis

Shraddha Barke · Emmanuel Anaya Gonzalez · Saketh Ram Kasibatla · Taylor Berg-Kirkpatrick · Nadia Polikarpova

East Exhibit Hall A-C #3901
[ ]
Thu 12 Dec 4:30 p.m. PST — 7:30 p.m. PST

Abstract:

Many structured prediction and reasoning tasks can be framed as program synthesis problems, where the goal is to generate a program in a \emph{domain-specific language} (DSL) that transforms input data into the desired output. Unfortunately, purely neural approaches, such as large language models (LLMs), often fail to produce fully correct programs in unfamiliar DSLs, while purely symbolic methods based on combinatorial search scale poorly to complex problems. Motivated by these limitations, we introduce a hybrid approach, where LLM completions for a given task are used to learn a task-specific, context-free surrogate model, which is then used to guide program synthesis. We evaluate this hybrid approach on three domains, and show that it outperforms both unguided search and direct sampling from LLMs, as well as existing program synthesizers.

Live content is unavailable. Log in and register to view live content