Alternatives and similar repositories for DL-abstract-argumentation

Users that are interested in DL-abstract-argumentation are comparing it to the libraries listed below

• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆255Updated last year
• allenai / HyBayes
  Bayesian Assessment of Hypotheses
  ☆24Updated 2 years ago
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆108Updated 3 weeks ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆100Updated 2 years ago
• IBM / commonsense-rl
  Knowledge-Aware RL agents with Commonsense Reasoning
  ☆78Updated 3 years ago
• allenai / ruletaker
  ☆50Updated 8 months ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆21Updated 2 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆65Updated 6 months ago
• ccclyu / awesome-deeplogic
  A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
  ☆282Updated last year
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆51Updated 2 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 4 years ago
• iesl / box-embeddings
  Box Embeddings as Modules
  ☆104Updated 2 years ago
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆95Updated last year
• tetherless-world / explanation-ontology
  Explanation Ontology Resource website
  ☆11Updated last year
• logictensornetworks / logictensornetworks
  Deep Learning and Logical Reasoning from Data and Knowledge
  ☆312Updated 9 months ago
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆74Updated 4 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆47Updated 10 months ago
• Yale-LILY / FOLIO
  ☆131Updated last year
• wellecks / naturalproofs
  NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
  ☆133Updated 2 years ago
• LogiTorch / logitorch
  LogiTorch is a PyTorch-based library for logical reasoning on natural language
  ☆73Updated 11 months ago
• google-deepmind / transformer_grammars
  Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale, TACL (2022)
  ☆128Updated 2 months ago
• alevkov / text2log
  Character-based seq2seq models (english => predicate logic)
  ☆15Updated 4 years ago
• nerdimite / neuro-symbolic-ai-soc
  Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
  ☆58Updated 3 years ago
• rpryzant / deconfounded-lexicon-induction
  Find text features that are most related to an outcome, controlling for confounds.
  ☆60Updated last year
• azreasoners / NeurASP
  ☆47Updated last year
• 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
• rycolab / rnn-turing-completeness
  ☆15Updated last year
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 4 years ago
• raphaelsty / mkb
  Knowledge Base Embedding By Cooperative Knowledge Distillation
  ☆67Updated 2 years ago