Mora, Federico

3 publications

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

AAAI 2024 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes Amar Shah, Federico Mora, Sanjit A. Seshia

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