LLM-Guided Compositional Program Synthesis

Ruhma Khan, Sumit Gulwani, Vu Le +3

Program synthesis from input-output examples, also called programming by example (PBE), has had tremendous impact on automating end-user tasks. Large language models (LLMs) have th…