uclnlp / ctp
Conditional Theorem Proving
☆51Updated 3 years ago
Alternatives and similar repositories for ctp:
Users that are interested in ctp are comparing it to the libraries listed below
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆92Updated 8 months ago
- ☆57Updated 5 years ago
- Code for gradient rollback, which explains predictions of neural matrix factorization models, as for example used for knowledge base comp…☆21Updated 3 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Updated last year
- ☆29Updated 6 years ago
- Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs☆95Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Neural Logic Inductive Learning☆41Updated 2 years ago
- Experiments of ACL 2018 paper box embeddings☆32Updated 6 years ago
- ☆48Updated last year
- Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.☆44Updated 4 years ago
- Layerwise Relevance Visualization in Convolutional Text Graph Classifiers☆12Updated 3 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆25Updated 4 years ago
- End-to-End Differentiable Proving☆88Updated 6 years ago
- Code for our NeurIPS 2019 paper "Quantum Embedding of Knowledge for Reasoning" (authors: Dinesh Garg, Shajith Ikbal, Santosh K Srivastava…☆25Updated 4 years ago
- ☆17Updated 3 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆47Updated last year
- ☆33Updated 3 weeks ago
- Investigating Robustness and Interpretability of Link Prediction via Adversarial Modifications☆18Updated 4 years ago
- ☆20Updated 3 years ago
- Code Repo for "Differentiable Open-Ended Commonsense Reasoning" (NAACL 2021)☆31Updated last year
- Neural Logic Reasoning for Question Answering☆73Updated 3 years ago
- LP-SparseMAP: Differentiable sparse structured prediction in coarse factor graphs☆41Updated last year
- Adaptation of TextWorld for materials synthesis procedures analysis using Text To Quest System☆9Updated last year
- A paper list of research conducted based on wikiHow☆27Updated 2 years ago
- A PyTorch Implementation of Neural Symbolic Machines by Liang et al. (2018)☆59Updated 4 years ago
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆15Updated 4 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆11Updated 5 years ago
- TextGraphs-13 Shared Task on Multi-Hop Inference Explanation Regeneration☆44Updated 4 years ago
- "Answering queries over Knowledge Graphs with Graph Convolutional Networks" @ ICLR 2020 Workshop on Graph Representation Learning☆15Updated 4 years ago