google-deepmind / logical-entailment-dataset
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.
☆66Updated 6 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
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆39Updated 6 years ago
- End-to-End Differentiable Proving☆88Updated 6 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆59Updated 4 years ago
- Cooperative Learning of Disjoint Syntax and Semantics☆49Updated 5 years ago
- ☆175Updated 4 years ago
- ☆129Updated last year
- This repo contains the analysis results reported in the paper "Grammar Induction with Neural Language Models: An Unusual Replication"☆48Updated 6 years ago
- ☆63Updated last year
- ☆57Updated 5 years ago
- Pip-installable differentiable stacks in PyTorch!☆65Updated 4 years ago
- NYU ML² work on sentence encoding with tree structure and dynamic graphs☆107Updated 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
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆91Updated 8 months ago
- The bAbI question-answering dataset ported into T2T.☆32Updated 6 years ago
- Stores paper references, outputs to bib/html, does basic sanity checking on bib entries☆39Updated last month
- Finding Generalizable Evidence by Learning to Convince Q&A Models☆25Updated 2 years ago
- Implementation for "Rational Recurrences", Peng et al., EMNLP 2018.☆28Updated 2 years ago
- [EMNLP 2017] Code for "Natural Language Does Not Emerge 'Naturally' in Multi-Agent Dialog"☆95Updated 4 years ago
- learning to search in pytorch☆110Updated 4 years ago
- Tensor product decomposition network☆19Updated 3 years ago
- Learning with latent language☆50Updated 3 years ago
- Annotated bibliographies.☆40Updated 5 years ago
- MLE-Guided Parameter Search (AAAI 2021)☆11Updated 3 years ago
- [ACL 2018] Conditional Generators of Words Definitions☆33Updated 6 years ago
- ☆64Updated 4 years ago
- LP-SparseMAP: Differentiable sparse structured prediction in coarse factor graphs☆41Updated last year
- ☆25Updated 6 years ago
- Measuring compositionality in representation learning☆72Updated 5 years ago
- PyTorch code for meta seq2seq learning☆43Updated 5 years ago
- Factorization of the neural parameter space for zero-shot multi-lingual and multi-task transfer☆39Updated 4 years ago