Meiyi Ma

1. CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
   2022/06/07 by Zirong Chen, Isaac T. S. Li, Chen, Zirong +9 · 2 citations
   Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Information Retrieval and Data Mining #Machine Learning (cs.LG) #Smart Cities and Technologies #Software Engineering (cs.SE) #Traffic Prediction and Management Techniques
2. CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
   2023/02/19 by Zirong Chen, Chen, Zirong, Issa Li +9 · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
3. Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities
   2025/03/27 by Yimo Yan, Yejia Liao, Yan, Yimo +29 · 3 citations
   Computer Science · #Topic Modeling
4. LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
   2025/05/06 by Zirong Chen, Chen, Zirong, Ziyan An +8 · 2 citations
   Computer Science · Social Sciences · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mobile Crowdsensing and Crowdsourcing #Public Relations and Crisis Communication #Software Engineering (cs.SE) #Software System Performance and Reliability
5. Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation
   2024/12/22 by Zirong Chen, Elizabeth Chason, Chen, Zirong +11 · 2 citations
   Engineering · #Scheduling and Optimization Algorithms
6. Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming
   2026/07/25 by Zirong Chen, Meiyi Ma
   #cs.AI #cs.LO #cs.SC