Leyi Cui -

Registered user since Mon 21 Oct 2024

Name:Leyi Cui

Country:United States

Affiliation:Columbia University

Personal website: https://leyicui-angel.github.io/

Research interests:Programming Language, Formal Methods, Human-Computer Interaction

Contributions

2025

ICSE

Author of Constrained LTL Specification Learning from Examples within the Research Track-track

LLM4Code

Author of CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation within the Large Language Models for Code-track

2024

SPLASH

Author of Towards a Formal Approach to the Analysis of Human-Machine Interaction within the Student Research Competition-track