An, Ziyan

2 publications

IJCAI 2025 LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration Zirong Chen, Ziyan An, Jennifer Reynolds, Kristin Mullen, Stephen Martini, Meiyi Ma

AAAI 2024 Formal Logic Enabled Personalized Federated Learning Through Property Inference Ziyan An, Taylor T. Johnson, Meiyi Ma