Ziyan An
2 papers
· 2024–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(12)
🌈
Renaissance Researcher
(5)
Conferences
AAAI (1)
IJCAI (1)
Top co-authors
Keywords
federated learning
(1)
performance evaluation
(1)
quality assurance
(1)
client heterogeneity
(1)
temporal logic
(1)
automated evaluation
(1)
runtime verification
(1)
emergency response
(1)
personalized learning
(1)
signal-temporal logic
(1)
large language model
(1)
temporal logic reasoning
(1)
property inference
(1)
client model personalization
(1)
aggregation cluster
(1)