Logical Reasoning
183 papers with code • 9 benchmarks • 11 datasets
Benchmarks
These leaderboards are used to track progress in Logical Reasoning
| Trend | Dataset | Best Model | Paper | Code | Compare |
|---|---|---|---|---|---|
|
|||||
|
|||||
|
|||||
|
|||||
|
|||||
|
|||||
|
|||||
|
|||||
|
Libraries
Use these libraries to find Logical Reasoning models and implementationsDatasets
BIG-bench
SMART-101
REBUS
FLD
Subtasks
-
Navigate
-
Novel Concepts
-
Temporal Sequences
-
StrategyQA
-
StrategyQA
-
Physical Intuition
-
Date Understanding
-
Elementary Mathematics
-
Logic Grid Puzzle
-
Logical Fallacy Detection
-
Logical Sequence
-
Epistemic Reasoning
-
Analytic Entailment
-
Checkmate In One
-
Entailed Polarity
-
Evaluating Information Essentiality
-
Logical Args
-
Metaphor Boolean
-
Penguins In A Table
-
Presuppositions As NLI
-
Reasoning About Colored Objects
-
Code Line Descriptions
-
College Mathematics
Most implemented papers
Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs
snap-stanford/KGReasoning
•
•
NeurIPS 2020
Logical operations are performed in the embedding space by neural operators over the probabilistic embeddings.
PaLM: Scaling Language Modeling with Pathways
lucidrains/CoCa-pytorch
•
•
Google Research 2022
To further our understanding of the impact of scale on few-shot learning, we trained a 540-billion parameter, densely activated, Transformer language model, which we call Pathways Language Model PaLM.
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Kyubyong/sudoku
•
•
We demonstrate that by integrating this solver into end-to-end learning systems, we can learn the logical structure of challenging problems in a minimally supervised fashion.
Neural Collaborative Reasoning
Existing Collaborative Filtering (CF) methods are mostly designed based on the idea of matching, i. e., by learning user and item embeddings from data using shallow or deep models, they try to capture the associative relevance patterns in data, so that a user embedding can be matched with relevant item embeddings using designed or learned similarity functions.
Neural Logic Reasoning
Both reasoning and generalization ability are important for prediction tasks such as recommender systems, where reasoning provides strong connection between user history and target items for accurate prediction, and generalization helps the model to draw a robust user portrait over noisy inputs.
Large Language Models are Zero-Shot Reasoners
kojima-takeshi188/zero_shot_cot
•
•
Pretrained large language models (LLMs) are widely used in many sub-fields of natural language processing (NLP) and generally known as excellent few-shot learners with task-specific exemplars.
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure
To this end, we propose a comprehensive logical reasoning explanation form.
Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge
logictensornetworks/logictensornetworks
•
•
We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning.
Chains of Reasoning over Entities, Relations, and Text using Recurrent Neural Networks
Our goal is to combine the rich multistep inference of symbolic logical reasoning with the generalization capabilities of neural networks.
A Dataset and Architecture for Visual Reasoning with a Working Memory
google/cog
•
•
ECCV 2018
COG is much simpler than the general problem of video analysis, yet it addresses many of the problems relating to visual and logical reasoning and memory -- problems that remain challenging for modern deep learning architectures.
