Scholar
Meiyi Ma
Google Scholar ID: d39BOU4AAAAJ
Assistant Professor in Computer Science, Vanderbilt University
Cyber Physical Systems
Machine Learning
Formal Methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
818
H-index
15
i10-index
22
Publications
20
Co-authors
6
list available
Publications
20 items
LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems
2026
Cited
0
Skill Profiling with Attributable Reasoning (SPAR): A Wearable Analysis System for Boxing
2026
Cited
0
NNV3: Expanding Neural Network Verification to New Architectures and Domains
2026
Cited
0
Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming
2026
Cited
0
Modeling Spectral Energy Shifts in Spatio-Temporal Graph Anomaly Detection
2026
Cited
0
A Theory-Guided LLM Pedagogical Agent for STEM+C Scaffolding Without Over-Reliance
2026
Cited
0
AI-Assisted Competency Assessment from Egocentric Video in Simulation-Based Nursing Education
2026
Cited
0
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
2026
Cited
0
Load more
Co-authors
4 total
Sarah M. Preum
Assistant Professor, Dartmouth College
Lu Feng
Associate Professor of Computer Science, University of Virginia
Ezio Bartocci
Faculty of Informatics, TU Wien
Ji Gao
PhD, Meta Platforms Inc
