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
- ☆130Updated last year
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆41Updated 6 years ago
- Cooperative Learning of Disjoint Syntax and Semantics☆50Updated 6 years ago
- NYU ML² work on sentence encoding with tree structure and dynamic graphs