PPaperPicks

Yongmei Liu

7 papers at tracked venues · 5 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3ACL ×2EMNLP ×1IJCAI ×1

Frequent coauthors

Ruiqi Jin
×2
Hao Dong
×2
Zheyuan Shi
×2
Yeliang Xiu
×2
Shuyi Li
×1
Yuyin Zhou
×1
Liping Xiong
×1
Hemeng Zeng
×1
Ruikang Hu
×1
Shaoyu Lin
×1

Papers

  1. Enhancing Strategy Logic with Procedural Rationality
    AAAI 2026 ·
    Ruiqi Jin
    ,
    Shuyi Li
    , Yongmei Liu
  2. PrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAG
    ACL 2026 ·
    Yuyin Zhou
    , Yongmei Liu
  3. A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity
    AAAI 2025 ·
    Ruiqi Jin
    , Yongmei Liu,
    Liping Xiong
  4. An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types
    AAAI 2025 ·
    Hao Dong
    ,
    Zheyuan Shi
    ,
    Hemeng Zeng
    , Yongmei Liu
  5. LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG
    ACL 2025 ·
    Ruikang Hu
    ,
    Shaoyu Lin
    ,
    Yeliang Xiu
    , Yongmei Liu
  6. MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions
    EMNLP 2025 ·
    Yeliang Xiu
    , Yongmei Liu
  7. Solving QNP and FOND+ with Generating, Testing and Forbidding
    IJCAI 2025 ·
    Zheyuan Shi
    ,
    Hao Dong
    , Yongmei Liu