LogicPrpBank: A Corpus for Logical Implication and Equivalence

arXiv:2402.09609v1 Announce Type: new
Abstract: Logic reasoning has been critically needed in problem-solving and decision-making. Although Language Models (LMs) have demonstrated capabilities of handling multiple reasoning tasks (e.g., commonsense reasoning), their ability to reason complex mathematical problems, specifically propositional logic, remains largely underexplored. This lack of exploration can be attributed to the limited availability of annotated corpora. Here, we present a well-labeled propositional logic corpus, LogicPrpBank, containing 7093 Propositional Logic Statements (PLSs) across six mathematical subjects, to study a brand-new …

abstract arxiv capabilities cs.ai cs.cl decision exploration language language models lms logic making multiple problem-solving reason reasoning tasks type