P
PaperPicks
Conferences
Researchers
Sponsors ♥
Meiyi Ma
11 papers at tracked venues · 6 at CORE A* · active 2024–2026
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×5
AAMAS
×1
ECAI
×1
ICWSM
×1
IJCAI
×1
IROS
×1
NeurIPS
×1
Frequent coauthors
Zirong Chen
×5
Ziyan An
×5
Taylor T. Johnson
×3
Hendrik Baier
×2
Abhishek Dubey
×2
Ayan Mukhopadhyay
×2
Kristin Mullen
×2
Stephen Martini
×2
Hanchen David Wang
×1
Siwoo Bae
×1
Xia Wang
×1
Jonathan Sprinkle
×1
Papers
Learning with Preserving for Continual Multitask Learning
BibTeX ⧉
AAAI 2026
·
Hanchen David Wang
,
Siwoo Bae
,
Zirong Chen
,
Meiyi Ma
Combining LLMs with a Logic-Based Framework to Explain MCTS
BibTeX ⧉
AAMAS 2025
·
Ziyan An
,
Xia Wang
,
Hendrik Baier
,
Zirong Chen
,
Abhishek Dubey
,
Taylor T. Johnson
,
Jonathan Sprinkle
,
Ayan Mukhopadhyay
,
Meiyi Ma
LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration
BibTeX ⧉
IJCAI 2025
·
Zirong Chen
,
Ziyan An
,
Jennifer Reynolds
,
Kristin Mullen
,
Stephen Martini
,
Meiyi Ma
Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
BibTeX ⧉
IROS 2025
·
Jiangwei Wang
,
Shuo Yang
,
Ziyan An
,
Songyang Han
,
Zhili Zhang
,
Rahul Mangharam
,
Meiyi Ma
,
Fei Miao
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
BibTeX ⧉
AAAI 2025
·
Shuyang Dong
,
Meiyi Ma
,
Josephine Lamp
,
Sebastian G. Elbaum
,
Matthew B. Dwyer
,
Lu Feng
Scaling Data-Driven Probabilistic Robustness Analysis for Semantic Segmentation Neural Networks
BibTeX ⧉
NeurIPS 2025
·
Navid Hashemi
,
Samuel Sasaki
,
Ipek Oguz
,
Meiyi Ma
,
Taylor T. Johnson
Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation
BibTeX ⧉
AAAI 2025
·
Zirong Chen
,
Elizabeth Chason
,
Noah Mladenovski
,
Erin Wilson
,
Kristin Mullen
,
Stephen Martini
,
Meiyi Ma
Timeliness Matters: Leveraging Reinforcement Learning on Social Media Data to Prioritize High-Risk Conversations for Promoting Youth Online Safety
BibTeX ⧉
ICWSM 2025
·
Ashwaq Alsoubai
,
Jinkyung Katie Park
,
Gianluca Stringhini
,
Meiyi Ma
,
Munmun De Choudhury
,
Pamela J. Wisniewski
Auto311: A Confidence-Guided Automated System for Non-emergency Calls
BibTeX ⧉
AAAI 2024
·
Zirong Chen
,
Xutong Sun
,
Yuanhe Li
,
Meiyi Ma
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
BibTeX ⧉
ECAI 2024
·
Ziyan An
,
Hendrik Baier
,
Abhishek Dubey
,
Ayan Mukhopadhyay
,
Meiyi Ma
Formal Logic Enabled Personalized Federated Learning through Property Inference
BibTeX ⧉
AAAI 2024
·
Ziyan An
,
Taylor T. Johnson
,
Meiyi Ma