Yongmei Liu
28 papers · 2013–2026 · 5 venues · across top CS/AI venues
This profile combines several different researchers. Authors are keyed by name, and this name's papers fall into 10 separate collaboration groups - the largest holds only 21% of them. Pick the group below that matches the researcher you mean. How a shared name is split.
Achievements are not shown for a combined profile - each one describes a single researcher's record, which this is not.
Which Yongmei Liu?
6 groups of papers that share co-authors internally but none with each other - each most likely a different researcher. Pick one to see its papers.
with Kailun Luo, Zhenhe Cui, Weidu Kuang
4 papers
· 2019–2023
· IJCAI, AAAI
Hide ▲
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning
IJCAI 2023
Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement
AAAI 2022
A Uniform Abstraction Framework for Generalized Planning
IJCAI 2021
Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants
IJCAI 2019
4 papers whose co-authors appear nowhere else under this name
Confusion-Resistant Federated Learning via Diffusion-Based Data Harmonization on Non-IID Data
NeurIPS 2024
Learning to Generate Programs for Table Fact Verification via Structure-Aware Semantic Parsing
ACL 2022
Automatic Verification of Liveness Properties in the Situation Calculus
AAAI 2020
Multi-agent Epistemic Planning with Common Knowledge
IJCAI 2018