TY  - RPRT
TI  - Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
AU  - Federico Mora
AU  - Justin Wong
AU  - Haley Lepe
AU  - Sahil Bhatia
AU  - Karim Elmaaroufi
AU  - George Varghese
AU  - Joseph E. Gonzalez
AU  - Elizabeth Polgreen
AU  - Sanjit A. Seshia
PY  - 2024
UR  - https://arxiv.org/abs/2406.03636
ID  - 2406.03636
ER  -