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

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages. - Federico Mora 002; Justin Wong; Haley Lepe; Sahil Bhatia; Karim Elmaaroufi; George Varghese; Joseph E. Gonzalez; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2024)