Polgreen, Elizabeth

3 publications

AAAI 2025 Online Prompt Selection for Program Synthesis Yixuan Li, Lewis Frampton, Federico Mora, Elizabeth Polgreen

AAAI 2024 Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis Julian Parsert, Elizabeth Polgreen

NeurIPS 2024 Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. González, Elizabeth Polgreen, Sanjit A. Seshia