3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.AI2025
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
Zirong Chen, Ziyan An, Jennifer Reynolds +3
Emergency response services are critical to public safety, with 9-1-1 call-takers playing a key role in ensuring timely and effective emergency operations. To ensure call-taking pe…
cs.CE2025★ 3 cited
Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities
Yimo Yan, Yejia Liao, Guanhao Xu +13
The rapid rise of Large Language Models (LLMs) is transforming traffic and transportation research, with significant advancements emerging between the years 2023 and 2025 -- a peri…
cs.AI2024
Formal Logic Enabled Personalized Federated Learning Through Property Inference
Ziyan An, Taylor T. Johnson, Meiyi Ma
Recent advancements in federated learning (FL) have greatly facilitated the development of decentralized collaborative applications, particularly in the domain of Artificial Intell…