no code implementations • Findings (EMNLP) 2021 • Canming Huang, Weinan He, Yongmei Liu
Recent methods based on pre-trained language models have shown strong supervised performance on commonsense reasoning.
1 code implementation • ACL 2022 • Suixin Ou, Yongmei Liu
Table fact verification aims to check the correctness of textual statements based on given semi-structured data.
no code implementations • EMNLP 2021 • Weinan He, Canming Huang, Yongmei Liu, Xiaodan Zhu
To better evaluate NLMs, we propose a logic-based framework that focuses on high-quality commonsense knowledge.
no code implementations • 25 Nov 2022 • Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu
Reasoning about actions and change (RAC) is essential to understand and interact with the ever-changing environment.
no code implementations • 24 May 2022 • Zhenhe Cui, Weidu Kuang, Yongmei Liu
Solutions of sound abstractions are those with correctness guarantees for generalized planning problems.
1 code implementation • 29 Jun 2018 • Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu
Based on our reasoning, revision and update algorithms, adapting the PrAO algorithm for contingent planning from the literature, we implemented a multi-agent epistemic planner called MEPK.