google-deepmind / logical-entailment-datasetLinks
This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for parsing the dataset in python.
☆70Updated 7 years ago
Alternatives and similar repositories for logical-entailment-dataset
Users that are interested in logical-entailment-dataset are comparing it to the libraries listed below
Sorting:
- End-to-End Differentiable Proving☆90Updated 6 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- ☆58Updated 5 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆41Updated 6 years ago
- Code and data for the CoNLL 2018 paper "Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge."☆25Updated 6 years ago
- The bAbI question-answering dataset ported into T2T.☆32Updated 6 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆35Updated 5 years ago
- Code for "Systematic Generalization: What Is Required and Can It Be Learned"☆37Updated 6 years ago
- Pip-installable differentiable stacks in PyTorch!☆65Updated 4 years ago
- Tensor product decomposition network☆19Updated 4 years ago
- learning to search in pytorch☆110Updated 5 years ago
- ☆109Updated 6 years ago
- Cooperative Learning of Disjoint Syntax and Semantics☆50Updated 6 years ago
- PyTorch code for meta seq2seq learning☆43Updated 5 years ago
- ☆130Updated last year
- NYU ML² work on sentence encoding with tree structure and dynamic graphs☆109Updated 6 years ago
- Parsing Reading Predict Network☆97Updated 6 years ago
- [ACL 2018] Conditional Generators of Words Definitions☆33Updated 7 years ago
- ☆178Updated 5 years ago
- Compositional generalization through meta sequence-to-sequence learning☆83Updated 5 years ago
- Annotated bibliographies.☆40Updated 6 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆94Updated last year
- Learning with latent language☆51Updated 4 years ago
- This repo contains the analysis results reported in the paper "Grammar Induction with Neural Language Models: An Unusual Replication"☆50Updated 6 years ago
- ☆25Updated 7 years ago
- Implementation for "Rational Recurrences", Peng et al., EMNLP 2018.☆28Updated 3 years ago
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆380Updated 2 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- Translating neuralese☆45Updated 8 years ago
- SparseMAP: differentiable sparse structure inference☆112Updated 6 years ago