← Search

Meiyi Ma

11 accepted papers

2026

Modeling Spectral Energy Shifts in Spatio-Temporal Graph Anomaly Detection

ICML 2026poster

Graph anomaly detection methods aim to distinguish anomalous nodes. While prior methods characterize anomalies through increased variation in the spectral energy distributions, they overlook those that result in decreased variation, i.e., camouflaged anomalies that appear normal. We show that this t…

Cited by 0SourceScholar
2025

LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration

IJCAI 2025

Emergency response services are critical to public safety, with 9-1-1 call-takers playing a key role in ensuring timely and effective emergency operations. To ensure call-taking performance consistency, quality assurance is implemented to evaluate and refine call-takers' skillsets. However, traditio

Cited by 0SourcePDFScholar
2025

Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications

IROS 2025

Reward design is a key component of deep reinforcement learning (DRL), yet some tasks and designer’s objectives may be unnatural to define as a scalar cost function. Among the various techniques, formal methods integrated with DRL have garnered considerable attention due to their expressiveness and

Cited by 14SourceScholar
2025

Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction

AAAI 2025technical

There is a growing trend toward AI systems interacting with humans to revolutionize a range of application domains such as healthcare and transportation. However, unsafe human-machine interaction can lead to catastrophic failures. We propose a novel approach that predicts future states by accounting…

Cited by 0SourcePDFScholar
2025

Scaling Data-Driven Probabilistic Robustness Analysis for Semantic Segmentation Neural Networks

NeurIPS 2025poster

Semantic segmentation neural networks (SSNs) are increasingly essential in high-stakes fields such as medical imaging, autonomous driving, and environmental monitoring, where robustness to input uncertainties and adversarial examples is crucial for ensuring safety and reliability. However, tradition…

Cited by 0SourceScholar
2025

Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation

AAAI 2025technical

Emergency response services are vital for enhancing public safety by safeguarding the environment, property, and human lives. As frontline members of these services, 9-1-1 dispatchers have a direct impact on response times and the overall effectiveness of emergency operations. However, traditional…

Cited by 0SourcePDFScholar
2024

Auto311: A Confidence-Guided Automated System for Non-emergency Calls

AAAI 2024technical

Emergency and non-emergency response systems are essential services provided by local governments and critical to protecting lives, the environment, and property. The effective handling of (non-)emergency calls is critical for public safety and well-being. By reducing the burden through non-emergenc…

2024

Formal Logic Enabled Personalized Federated Learning through Property Inference

AAAI 2024technical

Recent advancements in federated learning (FL) have greatly facilitated the development of decentralized collaborative applications, particularly in the domain of Artificial Intelligence of Things (AIoT). However, a critical aspect missing from the current research landscape is the ability to enable…

Cited by 5SourcePDFScholar
2020

STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks

NeurIPS 2020poster

Recurrent Neural Networks (RNNs) have made great achievements for sequential prediction tasks. In practice, the target sequence often follows certain model properties or patterns (e.g., reasonable ranges, consecutive changes, resource constraint, temporal correlations between multiple variables, exi…

Cited by 45SourcePDFScholar