@misc{indiciaee5684c82e418,
  title = {Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages},
  author = {Federico Mora and Justin Wong and Haley Lepe and Sahil Bhatia and Karim Elmaaroufi and George Varghese and Joseph E. Gonzalez and Elizabeth Polgreen and Sanjit A. Seshia},
  year = {2024},
  url = {https://arxiv.org/abs/2406.03636},
  note = {Source identifier: 2406.03636}
}