Yixuan Li

According to our database, Yixuan Li authored at least 6 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Guided Tensor Lifting.

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

Proc. ACM Program. Lang., 2025

Unlocking Hardware Verification with Oracle Guided Synthesis.

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

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

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

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

Proceedings of the Findings of the Association for Computational Linguistics, 2025

Online Prompt Selection for Program Synthesis.

Yixuan Li, Lewis Frampton, Federico Mora, Elizabeth Polgreen

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Guiding Enumerative Program Synthesis with Large Language Models.

Yixuan Li, Julian Parsert, Elizabeth Polgreen

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis.

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

CoRR, 2023