uclnlp / ntp
End-to-End Differentiable Proving
☆89Updated 6 years ago
Alternatives and similar repositories for ntp:
Users that are interested in ntp are comparing it to the libraries listed below
- ☆108Updated 6 years ago
- ☆58Updated 5 years ago
- Conditional Theorem Proving☆53Updated 3 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆92Updated 11 months ago
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆68Updated 6 years ago
- NYU ML² work on sentence encoding with tree structure and dynamic graphs☆108Updated 6 years ago
- Cooperative Learning of Disjoint Syntax and Semantics☆50Updated 5 years ago
- Codebase for Global Neural CCG Parsing with Optimality Guarantees☆25Updated 7 years ago
- ☆129Updated last year
- An implementation of Probabilistic Soft Logic Engine using Python/Gurobi☆54Updated 6 years ago
- Injecting Background Knowledge in Neural Models via Adversarial Set Regularisation☆60Updated 6 years ago
- ☆63Updated last year
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆40Updated 6 years ago
- Neural Logic Reasoning for Question Answering☆73Updated 3 years ago
- ☆37Updated 9 years ago
- Analogical inference for knowledge graph completion☆72Updated 7 years ago
- ☆54Updated 4 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- Neural network definition models☆20Updated 8 years ago
- Code and data for the CoNLL 2018 paper "Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge."☆25Updated 6 years ago
- Experiments of ACL 2018 paper box embeddings☆32Updated 6 years ago
- Code for Injecting Logical Background Knowledge into Embeddings for Relation Extraction☆66Updated 8 years ago
- Framework of DataLog Neural Program Synthesis☆26Updated 6 years ago
- Parsing Reading Predict Network☆97Updated 6 years ago
- ☆12Updated 6 years ago
- Learning with latent language☆51Updated 4 years ago
- Parse natural language into executable programs☆63Updated 7 years ago
- Simple language-driven navigation tasks for studying compositional learning☆195Updated 4 years ago
- Cornell Semantic Parsing Framework☆129Updated 5 years ago
- TextGraphs-13 Shared Task on Multi-Hop Inference Explanation Regeneration☆43Updated 5 years ago