Alternatives and similar repositories for RuDaS

Users that are interested in RuDaS are comparing it to the libraries listed below

• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 4 years ago
• nuric / deeplogic
  DeepLogic: Towards End-to-End Differentiable Logical Reasoning
  ☆25Updated 4 years ago
• uclnlp / gntp
  ☆58Updated 5 years ago
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆74Updated 4 years ago
• zsoltzombori / plcop
  Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover
  ☆12Updated 4 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆89Updated 6 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• azreasoners / NeurASP
  ☆45Updated last year
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆94Updated last year
• ForoughA / CORGI
  Conversational Neuro-Symbolic Commonsense Reasoning
  ☆26Updated 4 years ago
• gblackout / NLIL
  Neural Logic Inductive Learning
  ☆44Updated 2 years ago
• Shivam-Miglani / contextual_drl
  Extracting action sequences and generating domain models.
  ☆14Updated 2 years ago
• uclnlp / cqd
  Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs
  ☆97Updated 2 years ago
• ai-systems / DILP-Core
  Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…
  ☆52Updated 4 years ago
• ptarau / DeepRank
  A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…
  ☆31Updated last year
• yelongshen / GraphWalk
  ☆31Updated 6 years ago
• swarnaHub / PRover
  [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
  ☆19Updated last year
• madaan / temporal-graph-gen
  Pre-trained models for our work on Temporal Graph Generation
  ☆18Updated 4 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆62Updated 3 months ago
• IBM / ULKB
  A HOL-based framework for reasoning over knowledge graphs
  ☆25Updated 7 months ago
• fanyangxyz / Neural-LP
  Differentiable Learning of Logical Rules for Knowledge Base Reasoning
  ☆218Updated 6 years ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆20Updated last year
• ellenmellon / GraphSum
  Extracting Summary Knowledge Graphs from Long Documents
  ☆19Updated 3 years ago
• yuvalpinter / m3gm
  Max-Margin Markov Graph Models for WordNet (EMNLP 2018)
  ☆41Updated 4 years ago
• hovinhthinh / RuLES
  Rule Learning with Embedding Support
  ☆25Updated 2 years ago
• joshuacnf / paradox-learning2reason
  ☆34Updated 5 months ago
• SamuelGabriel / sqlbpe
  The implementation for the paper `Byte-Pair Encoding for Text-to-SQL Generation`.
  ☆14Updated 5 years ago
• Mehran-k / RelNN
  RelNN is a novel first-order deep neural model for relational learning.
  ☆28Updated 7 years ago
• utahnlp / layer_augmentation
  Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
  ☆44Updated 4 years ago
• expressGNN / ExpressGNN
  ☆104Updated 5 years ago