publications

2025

1. ACL ’25 findings

   HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation

   Weizhi Tang ,  Yixuan Li ,  Chris Sypherd ,  Elizabeth Polgreen ,  and  Vaishak Belle

   DOI
2. FMCAD ’25

   Unlocking Hardware Verification with Oracle Guided Synthesis

   Leiqi Ye ,  Yixuan Li ,  Guy Frankel ,  Jianyi Cheng ,  and  Elizabeth Polgreen

   DOI
3. PLDI ’25

   Guided Tensor Lifting

   Yixuan Li ,  José Wesley Souza Magalhães ,  Alexander Brauckmann ,  Michael F. P. O’Boyle ,  and  Elizabeth Polgreen

   DOI
4. AAAI ’25

   Online Prompt Selection for Program Synthesis

   Yixuan Li ,  Lewis Frampton ,  Federico Mora ,  and  Elizabeth Polgreen

   DOI
5. Under Review

   The Similarity Control Problem with Required Events

   Yu Wang ,  Zhaohui Zhu ,  Robert Glabbeek ,  Jinjin Zhang ,  and  Yixuan Li

2024

1. CAV ’24

   Guiding Enumerative Program Synthesis with Large Language Models

   Yixuan Li ,  Julian Parsert ,  and  Elizabeth Polgreen

   DOI

2023

1. SYNT @CAV ’23

   Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis

   Yixuan Li ,  Federico Mora ,  Elizabeth Polgreen ,  and  Sanjit A. Seshia

   DOI