Ziyan An
Scholar

Ziyan An

Google Scholar ID: K4sxIwkAAAAJ
Vanderbilt University
Cyber Physical SystemsFormal MethodsExplainable AI
Google Scholar↗
Citations & Impact
All-time
Citations
440
 
H-index
5
 
i10-index
5
 
Publications
18
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
3 items
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
2025
Cited
0
Combining LLMs with Logic-Based Framework to Explain MCTS
2025
Cited
0
Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities
2025
Cited
0
Resume (English only)
Co-authors
11 total
Meiyi Ma
Meiyi Ma
Assistant Professor in Computer Science, Vanderbilt University
Yiming Li
Yiming Li
Research Scientist, NVIDIA
Chen Feng (冯晨)
Chen Feng (冯晨)
New York University
Taylor T Johnson
Taylor T Johnson
Associate Professor, Computer Science, Vanderbilt University
Xia Wang
Xia Wang
Research Assistant, Vanderbilt University
Jonathan Sprinkle
Jonathan Sprinkle
Vanderbilt University
Ayan Mukhopadhyay
Ayan Mukhopadhyay
Senior Research Scientist, Vanderbilt University
Hendrik Baier
Hendrik Baier
Researcher, CWI Amsterdam