PPaperPicks

Elizabeth Polgreen

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ACL ×1FM ×1NeurIPS ×1PLDI ×1

Frequent coauthors

Yixuan Li
×3
Federico Mora
×2
José Wesley de Souza Magalhães
×1
Alexander Brauckmann
×1
Michael F. P. O'Boyle
×1
Weizhi Tang
×1
Chris Sypherd
×1
Vaishak Belle
×1
Lewis Frampton
×1
Martin Brain
×1
Julian Parsert
×1
Justin Wong
×1

Papers

  1. Guided Tensor Lifting
    PLDI 2025 ·
    Yixuan Li
    ,
    José Wesley de Souza Magalhães
    ,
    Alexander Brauckmann
    ,
    Michael F. P. O'Boyle
    , Elizabeth Polgreen
  2. HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
    ACL 2025 ·
    Weizhi Tang
    ,
    Yixuan Li
    ,
    Chris Sypherd
    , Elizabeth Polgreen,
    Vaishak Belle
  3. Online Prompt Selection for Program Synthesis
    AAAI 2025 ·
    Yixuan Li
    ,
    Lewis Frampton
    ,
    Federico Mora
    , Elizabeth Polgreen
  4. A Pyramid Of (Formal) Software Verification
    FM 2024 ·
    Martin Brain
    , Elizabeth Polgreen
  5. Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
    AAAI 2024 ·
    Julian Parsert
    , Elizabeth Polgreen
  6. 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