LogicPrpBank: A Corpus for Logical Implication and Equivalence
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 task of reasoning logical implication and equivalence. We benchmark LogicPrpBank with widely-used LMs to show that our corpus offers a useful resource for this challenging task and there is ample room for model improvement.
Code (1)
Tasks
Decision MakingSimilar Papers 제목 키워드 기반
LogicENN: A Neural Based Knowledge Graphs Embedding Model with Logical Rules
Knowledge graph embedding models have gained significant attention in AI research. Recent works have shown that the inclusion of background knowledge, such as logical rules, can improve the performance of embeddings in d…
Graph EmbeddingKnowledge Graph EmbeddingKnowledge GraphsLink Prediction+1LogicENN: A Neural Based Knowledge Graphs Embedding Model with Logical Rules
Knowledge graph embedding models have gained significant attention in AI and NLP research. Recent works have shown that the inclusion of background knowledge, such as logical rules, can improve the performance of embeddi…
Graph EmbeddingKnowledge Graph EmbeddingKnowledge GraphsLink Prediction+1IQ-VQA: Intelligent Visual Question Answering
Even though there has been tremendous progress in the field of Visual Question Answering, models today still tend to be inconsistent and brittle. To this end, we propose a model-independent cyclic framework which increas…
Question AnsweringVisual Question AnsweringVisual Question Answering (VQA)Equivalence in Deep Neural Networks via Conjugate Matrix Ensembles
A numerical approach is developed for detecting the equivalence of deep learning architectures. The method is based on generating Mixed Matrix Ensembles (MMEs) out of deep neural network weight matrices and {\it conjugat…
Neural Architecture SearchOn the Equivalence of Neural and Production Networks
This paper identifies the mathematical equivalence between economic networks of Cobb-Douglas agents and Artificial Neural Networks. It explores two implications of this equivalence under general conditions. First, a burg…