IBM / RuDaS
RuDaS: Synthetic Datasets for Rule Learning
☆18Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for RuDaS
- ☆57Updated 4 years ago
- Conditional Theorem Proving☆51Updated 3 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Neural Logic Reasoning for Question Answering☆72Updated 3 years ago
- Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs☆95Updated 2 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆25Updated 4 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆23Updated 4 years ago
- Analogical inference for knowledge graph completion☆71Updated 7 years ago
- Neural Logic Inductive Learning☆41Updated 2 years ago
- End-to-End Differentiable Proving☆88Updated 6 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆90Updated 6 months ago
- Differentiable Learning of Logical Rules for Knowledge Base Reasoning☆215Updated 5 years ago
- Knowledge Graph Embeddings learned from the structure and literals of knowledge graphs☆44Updated 2 years ago
- Rule Learning with Embedding Support☆24Updated 2 years ago
- Injecting Background Knowledge in Neural Models via Adversarial Set Regularisation☆59Updated 6 years ago
- ☆29Updated 5 years ago
- ☆143Updated 4 years ago
- TextGraphs-13 Shared Task on Multi-Hop Inference Explanation Regeneration☆44Updated 4 years ago
- Weakly Supervised Text-to-SQL Parsing through Question Decomposition☆22Updated last year
- 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
- Knowledge-Aware RL agents with Commonsense Reasoning☆75Updated 2 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆39Updated last year
- CSKG: The CommonSense Knowledge Graph☆113Updated last year
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Updated 3 years ago
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆15Updated 4 years ago
- Evaluate QA models for consistency☆19Updated 2 years ago
- ☆40Updated last year
- Learning to query complex networks☆116Updated 5 months ago
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆49Updated 3 years ago