Alternatives and similar repositories for RuDaS

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

• uclnlp / gntp
  ☆58Updated 5 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 4 years ago
• nuric / deeplogic
  DeepLogic: Towards End-to-End Differentiable Logical Reasoning
  ☆25Updated 5 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆89Updated 6 years ago
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆94Updated last year
• uclnlp / inferbeddings
  Injecting Background Knowledge in Neural Models via Adversarial Set Regularisation
  ☆60Updated 7 years ago
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆74Updated 4 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
• timvieira / hypergraphs
  Reference implementations of basic and advanced hypergraph algorithms.
  ☆49Updated last year
• quark0 / ANALOGY
  Analogical inference for knowledge graph completion
  ☆72Updated 7 years ago
• BennoKrojer / reasoning-over-facts
  This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"
  ☆13Updated 4 years ago
• umanlp / tg2019task
  TextGraphs-13 Shared Task on Multi-Hop Inference Explanation Regeneration
  ☆44Updated 5 years ago
• marcotcr / qa_consistency
  Evaluate QA models for consistency
  ☆20Updated 2 years ago
• ForoughA / CORGI
  Conversational Neuro-Symbolic Commonsense Reasoning
  ☆26Updated 5 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 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
• danielnyga / pracmln
  Markov Logic Networks in Python
  ☆137Updated 4 years ago
• starling-lab / BoostSRL
  BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.
  ☆32Updated last year
• fanyangxyz / Neural-LP
  Differentiable Learning of Logical Rules for Knowledge Base Reasoning
  ☆219Updated 6 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆63Updated 4 months ago
• ZhengyaoJiang / GradientInduction
  Framework of DataLog Neural Program Synthesis
  ☆26Updated 6 years ago
• google-deepmind / logical-entailment-dataset
  This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…
  ☆69Updated 7 years ago
• madaan / temporal-graph-gen
  Pre-trained models for our work on Temporal Graph Generation
  ☆18Updated 4 years ago
• GallupGovt / pymln
  Python implementation of unsupervised semantic parsing and markov logic network knowledgebase induction.
  ☆12Updated 6 years ago
• swarnaHub / PRover
  [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
  ☆19Updated 2 years ago
• knowledgegraph / schema
  Leveraging Ontological Schema Information in Embedding Models for Knowledge Graphs
  ☆14Updated 10 years ago
• yelongshen / GraphWalk
  ☆31Updated 6 years ago
• TeamCohen / TensorLog
  ☆109Updated 6 years ago
• allenai / scitail
  Given a pair of sentences (premise, hypothesis), the decomposed graph entailment model (DGEM) predicts whether the premise can be used to…
  ☆52Updated 4 years ago