Reconstruction of gene regulatory network via sparse optimization. - Jiashu Lou; Leyi Cui; Wenxuan Qiu (CoRR, 2022)

Bi-LSTM Price Prediction based on Attention Mechanism. - Jiashu Lou; Leyi Cui; Ye Li (CoRR, 2022)

A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic. - Leyi Cui (SPLASH Companion, 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)

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)

Interactively Assisting Glaucoma Diagnosis with an Expert Knowledge-Distilled Vision Transformer. - Ziheng Li; Haowen Wei; Kuang Sun; Leyi Cui; David Li 005; Steven Feiner; Kaveri A. Thakoor (CHI Extended Abstracts, 2025)

Constrained LTL Specification Learning from Examples. - Changjian Zhang; Parv Kapoor; Ian Dardik; Leyi Cui; Rômulo Meira-Góes; David Garlan; Eunsuk Kang (ICSE, 2025)

CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation. - Jinjun Peng; Leyi Cui; Kele Huang; Junfeng Yang; Baishakhi Ray (LLM4Code@ICSE, 2025)