Meiyi Ma
7 papers · 2020–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (3) π Academic Marathon (5) π Cross-Pollinator (12)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(30)
π£
Hot Topic Early Bird
Conferences
AAAI (5)
IJCAI (1)
NIPS (1)
Top co-authors
Keywords
signal temporal logic
(2)
large language model
(2)
emergency response
(2)
temporal logic
(2)
speech recognition
(1)
information extraction
(1)
catastrophic forgetting
(1)
formal verification
(1)
text classification
(1)
machine learning
(1)
performance evaluation
(1)
sequence prediction
(1)
sequential prediction
(1)
geometric structure
(1)
quality assurance
(1)
multitask learning
(1)
recurrent neural network
(1)
client heterogeneity
(1)
cyber-physical system
(1)
adaptive control
(1)
Papers
Learning with Preserving for Continual Multitask Learning
AAAI 2026
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
AAAI 2025
Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation
AAAI 2025
LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration
IJCAI 2025
Formal Logic Enabled Personalized Federated Learning through Property Inference
AAAI 2024
Auto311: A Confidence-Guided Automated System for Non-emergency Calls
AAAI 2024
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks
NIPS 2020