Leyi Cui

According to our database, Leyi Cui authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

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

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