Logical Reasoning

61 papers with code • 0 benchmarks • 0 datasets

This task has no description! Would you like to contribute one?

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.

SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver

Kyubyong/sudoku 29 May 2019

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

rutgerswiselab/NCR 16 May 2020

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.

Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge

logictensornetworks/logictensornetworks 14 Jun 2016

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

eBay/KPRN EACL 2017

Our goal is to combine the rich multistep inference of symbolic logical reasoning with the generalization capabilities of neural networks.

Ontology Reasoning with Deep Neural Networks

phohenecker/family-tree-data-gen 24 Aug 2018

This is an important and at the same time very natural logical reasoning task, which is why the presented approach is applicable to a plethora of important real-world problems.

MMM: Multi-stage Multi-task Learning for Multi-choice Reading Comprehension

jind11/MMM-MCQA 1 Oct 2019

Machine Reading Comprehension (MRC) for question answering (QA), which aims to answer a question given the relevant context passages, is an important way to test the ability of intelligence systems to understand human language.

Matrix Shuffle-Exchange Networks for Hard 2D Tasks

LUMII-Syslab/Switchblade 29 Jun 2020

Convolutional neural networks have become the main tools for processing two-dimensional data.

Measuring Systematic Generalization in Neural Proof Generation with Transformers

NicolasAG/SGinPG NeurIPS 2020

We observe that models that are not trained to generate proofs are better at generalizing to problems based on longer proofs.

Neural Software Analysis

superli3/codenavi 16 Nov 2020

The resulting tools complement and outperform traditional program analyses, and are used in industrial practice.