SOURCE-LINKED INTELLIGENCE

Narcissus: Program Synthesis Using Context-Aware LLM Approximations

arXiv · AI, language, vision and robotics · article · Aug 26, 2026 · UTC

Large language models (LLMs) excel at programming, but not when the task fixes the target language: prompted with a grammar rare in their training data, their programs usually break the grammar or fail the given specification. Enumerative synthesizers search the space of syntactically correct programs systematically guided by LLMs; the state of the art guides them by approximating LLM proposals into rule frequencies, which loses where each construct belongs and prunes every rule the proposals miss, exactly when the proposals are wrong. We present Narcissus, a synthesizer that keeps the proposa

Read original source ↗ Open in workspace

recordType

paper

region

Global