DennisCraandijk / DL-abstract-argumentation
Neuro-symbolic approaches to reasoning problems from abstract argumentation
☆20Updated 2 years ago
Related projects: ⓘ
- ☆32Updated 6 months ago
- Conditional Theorem Proving☆51Updated 3 years ago
- Neuro-Symbolic AI Toolkit☆73Updated last year
- Adaptation of TextWorld for materials synthesis procedures analysis using Text To Quest System☆9Updated 11 months ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆19Updated last year
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆45Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆36Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆53Updated 2 months ago
- ☆39Updated 3 years ago
- ☆32Updated 9 months ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆75Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 2 years ago
- We develop benchmarks and analysis tools to evaluate the causal reasoning abilities of LLMs.☆87Updated 3 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆20Updated last year
- Interpretable and efficient predictors using pre-trained language models. Scikit-learn compatible.☆37Updated 5 months ago
- How to Turn Your Knowledge Graph Embeddings into Generative Models☆40Updated 2 months ago
- ☆41Updated last year
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆14Updated 3 years ago
- ☆61Updated this week
- Code repository for the NAACL 2022 paper "ExSum: From Local Explanations to Model Understanding"☆63Updated 2 years ago
- Bayesian Assessment of Hypotheses☆24Updated last year
- ☆16Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆34Updated last year
- Code for gradient rollback, which explains predictions of neural matrix factorization models, as for example used for knowledge base comp…☆20Updated 3 years ago
- Language-annotated Abstraction and Reasoning Corpus☆76Updated last year
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆24Updated 9 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 3 months ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆90Updated 4 months ago
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆40Updated 3 years ago
- The official repository for the LREC 2022 paper "D3: A Massive Dataset of Scholarly Metadata for Analyzing the State of Computer Science …☆27Updated last year