Author

Meiyi Ma

h-index 4 View on Semantic Scholar

We have 2 of 13 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems

AI-enabled Cyber-Physical Systems (CPS) are highly vulnerable to adversarial and anomalous inputs, where small perturbations can induce cascading errors and unsafe control actions. Existing approaches, such as rule-based filtering, training-time regularization, or diffusion-based reconstruction, either operate outside...

Zi-Yan An, John Stankovic, Mei-Yi Ma · 0 citations

Open access Jul 2026

Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning

LogiCP is a novel FL framework that integrates formal logic reasoning with uncertainty quantification (UQ) to support scalable and personalized learning with theoretical guarantees, achieving up to a 95% improvement in client-level MSE while maintaining strong scalability.

Guocheng He, Ziyan An, Meiyi Ma · Journal of Artificial Intell... · 0 citations