Yongmei Liu

Venues

Frequent coauthors

Papers

1. Enhancing Strategy Logic with Procedural Rationality
   AAAI 2026 ·

   Ruiqi Jin

   DBLP profile ↗ORCID search ↗
2. PrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAG
   ACL 2026 ·

   Yuyin Zhou

   DBLP profile ↗ORCID search ↗
3. A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity
   AAAI 2025 ·

   Ruiqi Jin

   DBLP profile ↗ORCID search ↗
4. An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types
   AAAI 2025 ·

   Hao Dong

   DBLP profile ↗ORCID search ↗
5. LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG
   ACL 2025 ·

   Ruikang Hu

   DBLP profile ↗ORCID search ↗
6. MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions
   EMNLP 2025 ·

   Yeliang Xiu

   DBLP profile ↗ORCID search ↗
7. Solving QNP and FOND+ with Generating, Testing and Forbidding
   IJCAI 2025 ·

   Zheyuan Shi

   DBLP profile ↗ORCID search ↗