DennisCraandijk / DL-abstract-argumentation
Neuro-symbolic approaches to reasoning problems from abstract argumentation
☆21Updated 2 years ago
Alternatives and similar repositories for DL-abstract-argumentation:
Users that are interested in DL-abstract-argumentation are comparing it to the libraries listed below
- Neuro-Symbolic AI Toolkit☆86Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆41Updated last year
- Box Embeddings as Modules☆102Updated 2 years ago
- General-purpose program synthesiser☆43Updated 5 months ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆49Updated last year
- ☆46Updated 3 months ago
- Conditional Theorem Proving☆52Updated 3 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆77Updated 3 years ago
- ☆37Updated 3 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆71Updated 2 years ago
- This is the official implementation for the paper "Learning to Scaffold: Optimizing Model Explanations for Teaching"☆19Updated 2 years ago
- Code for paper "Search Methods for Sufficient, Socially-Aligned Feature Importance Explanations with In-Distribution Counterfactuals"☆17Updated 2 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- A dataset of fine-grained knowledge graphs of scientific claims☆16Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆226Updated 7 months ago
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆70Updated 6 months ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- ☆118Updated last year
- Pytorch implementation of “Recursive Non-Autoregressive Graph-to-Graph Transformer for Dependency Parsing with Iterative Refinement”☆62Updated 4 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆92Updated 10 months ago
- Repository for NLP project. Name to be changed when we decide on a project☆15Updated 2 years ago
- Find text features that are most related to an outcome, controlling for confounds.☆60Updated 8 months ago
- ☆34Updated 3 months ago
- ☆36Updated 4 months ago
- ☆43Updated last year
- Capturing Set-Theoretic Semantics of Words using Box Embeddings☆35Updated 2 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆25Updated 4 years ago
- ☆44Updated last year
- This code accompanies the paper "Bayesian Framework for Information-Theoretic Probing" published in EMNLP 2021.☆10Updated 3 years ago
- ☆63Updated last year