Leyi Cui

Carnegie Mellon University

CMU Machine Learning

Papers on Lattice

Total citations

Topics

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)

Frequent co-authors

Shrey Tiwari (1)Rohan Padhye (1)

Papers (1)

May 24, 2026

CMU MLMay 24, 2026

DateSAT: A Framework for Solving Date and Period Constraints

Reasoning about dates and times in code just got easier: DateSAT offers the first framework for solving satisfiability constraints involving dates and calendar periods.

Leyi Cui, Shrey Tiwari, Rohan Padhye

Code Generation & Program Synthesis Natural Language Processing

Search

Leyi Cui

Research focus

Frequent co-authors

Papers (1)