uclnlp / ntp
End-to-End Differentiable Proving
☆88Updated 6 years ago
Alternatives and similar repositories for ntp:
Users that are interested in ntp are comparing it to the libraries listed below
- ☆109Updated 6 years ago
- ☆57Updated 5 years ago
- ☆37Updated 8 years ago
- Framework of DataLog Neural Program Synthesis☆26Updated 5 years ago
- Cooperative Learning of Disjoint Syntax and Semantics☆49Updated 5 years ago
- Conditional Theorem Proving☆51Updated 3 years ago
- ☆12Updated 6 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆92Updated 8 months ago
- Analogical inference for knowledge graph completion☆72Updated 7 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆39Updated 6 years ago
- An implementation of Probabilistic Soft Logic Engine using Python/Gurobi☆55Updated 5 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆66Updated 6 years ago
- A Hierarchical Type system for fine grained entity typing☆50Updated 5 years ago
- Neural network definition models☆21Updated 8 years ago
- Neural Logic Reasoning for Question Answering☆73Updated 3 years ago
- ☆54Updated 4 years ago
- Experiments of ACL 2018 paper box embeddings☆32Updated 6 years ago
- Injecting Background Knowledge in Neural Models via Adversarial Set Regularisation☆59Updated 6 years ago
- Codebase for Global Neural CCG Parsing with Optimality Guarantees☆25Updated 7 years ago
- NYU ML² work on sentence encoding with tree structure and dynamic graphs☆107Updated 6 years ago
- this is the code used in the paper "Discrete-State Variational Autoencoders for Joint Discovery and Factorization of Relations"☆66Updated 7 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆47Updated last year
- TextGraphs-13 Shared Task on Multi-Hop Inference Explanation Regeneration☆44Updated 4 years ago
- Tutorial on ‘Graph-Based Meaning Representations: Design and Processing’ (ACL 2019)☆114Updated 5 years ago
- Max-Margin Markov Graph Models for WordNet (EMNLP 2018)☆41Updated 4 years ago
- SparseMAP: differentiable sparse structure inference☆111Updated 5 years ago
- ☆121Updated 6 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆59Updated 4 years ago
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆50Updated 3 years ago