PPaperPicks

Federico Mora

3 papers at tracked venues · 3 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2NeurIPS ×1

Frequent coauthors

Elizabeth Polgreen
×2
Sanjit A. Seshia
×2
Yixuan Li
×1
Lewis Frampton
×1
Amar Shah
×1
Justin Wong
×1
Haley Lepe
×1
Sahil Bhatia
×1
Karim Elmaaroufi
×1
George Varghese
×1
Joseph E. Gonzalez
×1

Papers

  1. Online Prompt Selection for Program Synthesis
    AAAI 2025 ·
    Yixuan Li
    ,
    Lewis Frampton
    , Federico Mora,
    Elizabeth Polgreen
  2. An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
    AAAI 2024 ·
    Amar Shah
    , Federico Mora,
    Sanjit A. Seshia
  3. Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
    NeurIPS 2024 · Federico Mora,
    Justin Wong
    ,
    Haley Lepe
    ,
    Sahil Bhatia
    ,
    Karim Elmaaroufi
    ,
    George Varghese
    ,
    Joseph E. Gonzalez
    ,
    Elizabeth Polgreen
    ,
    Sanjit A. Seshia