uclnlp / ntpLinks
End-to-End Differentiable Proving
☆90Updated 6 years ago
Alternatives and similar repositories for ntp
Users that are interested in ntp are comparing it to the libraries listed below
Sorting:
- ☆109Updated 6 years ago
- ☆58Updated 5 years ago
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆70Updated 7 years ago
- ☆37Updated 9 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆94Updated last year
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- NYU ML² work on sentence encoding with tree structure and dynamic graphs☆108Updated 6 years ago
- this is the code used in the paper "Discrete-State Variational Autoencoders for Joint Discovery and Factorization of Relations"☆65Updated 8 years ago
- Parse natural language into executable programs☆63Updated 7 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- Neural network definition models☆20Updated 8 years ago
- Framework of DataLog Neural Program Synthesis☆26Updated 6 years ago
- ☆121Updated 7 years ago
- An implementation of Probabilistic Soft Logic Engine using Python/Gurobi☆53Updated 6 years ago
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆52Updated 4 years ago
- Cooperative Learning of Disjoint Syntax and Semantics☆50Updated 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
- Parsing Reading Predict Network☆97Updated 6 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆41Updated 6 years ago
- SparseMAP: differentiable sparse structure inference☆112Updated 6 years ago
- TextGraphs-13 Shared Task on Multi-Hop Inference Explanation Regeneration☆44Updated 5 years ago
- ☆130Updated last year
- Neural Logic Reasoning for Question Answering☆74Updated 4 years ago
- Codebase for Global Neural CCG Parsing with Optimality Guarantees☆25Updated 8 years ago
- Text classification code described in "SoPa: Bridging CNNs, RNNs, and Weighted Finite-State Machines" by Roy Schwartz, Sam Thomson and No…☆54Updated 3 years ago
- Injecting Background Knowledge in Neural Models via Adversarial Set Regularisation☆61Updated 7 years ago
- NAACL 2018 Tutorial: Modelling Natural Language, Programs, and their Intersection☆101Updated 7 years ago
- ☆54Updated 4 years ago
- ☆25Updated 7 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago