Leyi Cui

According to our database, Leyi Cui authored at least 8 papers between 2022 and 2025.

Collaborative distances:

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

2025

CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation.

Jinjun Peng, Leyi Cui, Kele Huang, Junfeng Yang, Baishakhi Ray

Proceedings of the IEEE/ACM International Workshop on Large Language Models for Code, 2025

Constrained LTL Specification Learning from Examples.

Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes, David Garlan, Eunsuk Kang

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

Interactively Assisting Glaucoma Diagnosis with an Expert Knowledge-Distilled Vision Transformer.

Ziheng Li, Haowen Wei, Kuang Sun, Leyi Cui, David Li, Steven Feiner, Kaveri A. Thakoor

Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2025

2024

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis.

William Murphy, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, Mark Santolucito

CoRR, 2024

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control.

William Murphy, Nikolaus Holzer, Nathan Koenig, Leyi Cui, Raven Rothkopf, Feitong Qiao, Mark Santolucito

CoRR, 2024

A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic.

Leyi Cui

Proceedings of the Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, 2024

2022

Bi-LSTM Price Prediction based on Attention Mechanism.

Jiashu Lou, Leyi Cui, Ye Li

CoRR, 2022

Reconstruction of gene regulatory network via sparse optimization.

Jiashu Lou, Leyi Cui, Wenxuan Qiu

CoRR, 2022