Search Results for author:
Found 6 papers, 2 papers with code
WinoLogic: A Zero-Shot Logic-based Diagnostic Dataset for Winograd Schema Challenge
To better evaluate NLMs, we propose a logic-based framework that focuses on high-quality commonsense knowledge.
Learning to Generate Programs for Table Fact Verification via Structure-Aware Semantic Parsing
Table fact verification aims to check the correctness of textual statements based on given semi-structured data.
Improving Unsupervised Commonsense Reasoning Using Knowledge-Enabled Natural Language Inference
Recent methods based on pre-trained language models have shown strong supervised performance on commonsense reasoning.
TRAC: A Textual Benchmark for Reasoning about Actions and Change
Reasoning about actions and change (RAC) is essential to understand and interact with the ever-changing environment.
Automatic Verification of Sound Abstractions for Generalized Planning
Solutions of sound abstractions are those with correctness guarantees for generalized planning problems.
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
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.
