Alternatives and similar repositories for NLIL

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

• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 4 years ago
• thuwzy / Neural-Symbolic-and-Probabilistic-Logic-Papers
  A curated paper list on neural symbolic and probabilistic logic.
  ☆127Updated 2 years ago
• yichousun / Winter2021_CS249_GNN
  ☆54Updated 2 years ago
• Yujun-Yan / Neural-Execution-Engines
  Code for Neural Execution Engines: Learning to Execute Subroutines
  ☆17Updated 4 years ago
• linlu-qiu / lm-inductive-reasoning
  ☆33Updated last year
• liqing-ustc / NGS
  Neural-Grammar-Symbolic Learning with Back-Search
  ☆55Updated last year
• yelongshen / GraphWalk
  ☆32Updated 6 years ago
• wutong8023 / AAAI-CML
  ☆17Updated 4 years ago
• claireaoi / hierarchical-rule-induction
  Neuro-Symbolic Hierarchical Rule Induction
  ☆14Updated 2 years ago
• joshuacnf / paradox-learning2reason
  ☆36Updated 9 months ago
• NNReasoning / What-Can-Neural-Networks-Reason-About
  ☆44Updated 5 years ago
• ec6dde01667145e58de60f864e05a4 / CausalOptimizationAnon
  ☆65Updated last year
• snap-stanford / zeroc
  ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…
  ☆32Updated 2 years ago
• azreasoners / NeurASP
  ☆48Updated last year
• IBM / commonsense-rl
  Knowledge-Aware RL agents with Commonsense Reasoning
  ☆78Updated 3 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
• bergen / EdgeTransformer
  ☆22Updated 3 years ago
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆96Updated last year
• rutgerswiselab / NLR
  Code for paper: Neural Logic Reasoning
  ☆55Updated 2 years ago
• ZhengyaoJiang / NLRL
  Source code of Neural Logic Reinforcement Learning (https://arxiv.org/abs/1904.10729)
  ☆76Updated 5 years ago
• code-terminator / invariant_rationalization
  Tensorflow implementation of Invariant Rationalization
  ☆49Updated 2 years ago
• google / neural-logic-machines
  Implementation for the Neural Logic Machines (NLM).
  ☆291Updated 6 years ago
• robert-lieck / RBN
  Recursive Bayesian Networks
  ☆11Updated 5 months ago
• vzhong / silg
  ☆20Updated 3 years ago
• da03 / Residual-EBM
  Code for Residual Energy-Based Models for Text Generation in PyTorch.
  ☆25Updated 4 years ago
• evelinehong / LBF
  ☆32Updated 4 years ago
• xingdi-eric-yuan / GATA-public
  ☆37Updated last year
• nuric / deeplogic
  DeepLogic: Towards End-to-End Differentiable Logical Reasoning
  ☆25Updated 5 years ago
• ema-marconato / reasoning-shortcuts
  Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts
  ☆21Updated last year
• huaxiuyao / HSML_Dynamic
  HSML Dynamic version for ICML 2019
  ☆12Updated 6 years ago