TY - RPRT TI - Guiding Enumerative Program Synthesis with Large Language Models AU - Yixuan Li AU - Julian Parsert AU - Elizabeth Polgreen PY - 2024 UR - https://arxiv.org/abs/2403.03997 ID - 2403.03997 ER -