| Towards the usability of reactive synthesis: Building blocks of temporal logic R Rothkopf, AL Cui, HT Zeng, A Sinha, S Mark Plateau Workshop., 2023 | 6 | 2023 |
| Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis W Murphy, N Holzer, F Qiao, L Cui, R Rothkopf, N Koenig, M Santolucito arXiv preprint arXiv:2410.19736, 2024 | 2 | 2024 |
| On the two-dimensional resilient consensus L Cui 2019 IEEE 7th International Conference on Computer Science and Network …, 2019 | 2 | 2019 |
| Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control W Murphy, N Holzer, N Koenig, L Cui, R Rothkopf, F Qiao, M Santolucito arXiv preprint arXiv:2406.07400, 2024 | 1 | 2024 |
| Constrained ltl specification learning from examples C Zhang, P Kapoor, I Dardik, L Cui, R Meira-Goes, D Garlan, E Kang arXiv preprint arXiv:2412.02905, 2024 | | 2024 |
| A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic L Cui Companion Proceedings of the 2024 ACM SIGPLAN International Conference on …, 2024 | | 2024 |
| Towards Reactive Synthesis as a Programming Paradigm L Cui, R Rothkopf, M Santolucito Plateau Workshop, 0 | | |
Mark SantolucitoBarnard College, Columbia University在 barnard.edu 的电子邮件经过验证
