Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis. - Yixuan Li 003; Federico Mora 002; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2023)

Guiding Enumerative Program Synthesis with Large Language Models. - Yixuan Li 003; Julian Parsert; Elizabeth Polgreen (CAV (2), 2024)

Online Prompt Selection for Program Synthesis. - Yixuan Li 003; Lewis Frampton; Federico Mora 002; Elizabeth Polgreen (AAAI, 2025)

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation. - Weizhi Tang; Yixuan Li 003; Chris Sypherd; Elizabeth Polgreen; Vaishak Belle (ACL (Findings), 2025)

Guided Tensor Lifting. - Yixuan Li 003; José Wesley de Souza Magalhães; Alexander Brauckmann; Michael F. P. O'Boyle; Elizabeth Polgreen (Proc. ACM Program. Lang., 2025)