DennisCraandijk / DL-abstract-argumentationLinks
Neuro-symbolic approaches to reasoning problems from abstract argumentation
☆22Updated 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
Sorting:
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- Bayesian Assessment of Hypotheses☆24Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆62Updated 3 months ago
- ☆48Updated 6 months ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆50Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆46Updated last month
- ☆14Updated last year
- ☆34Updated 6 months ago
- Adaptation of TextWorld for materials synthesis procedures analysis using Text To Quest System☆9Updated last year
- Neuro-Symbolic AI Toolkit☆91Updated last year
- Neural Logic Reasoning for Question Answering☆74Updated 4 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆27Updated last year
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Updated 4 years ago
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆72Updated 8 months ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆94Updated last year
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆72Updated 2 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆78Updated 3 years ago
- Box Embeddings as Modules☆102Updated 2 years ago
- Find text features that are most related to an outcome, controlling for confounds.☆60Updated 10 months ago
- ☆34Updated 5 months ago
- A list of resources dedicated to compositionality☆14Updated 6 years ago
- General-purpose program synthesiser☆45Updated 7 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- The Neuro-Symbolic Forward Reasoner☆24Updated last year
- Course resources and notes for the ESSLLI 2023 course on neural symbolic methods.☆16Updated 4 months ago
- GLUCOSE: GeneraLized and COntextualized Story Explanations https://arxiv.org/abs/2009.07758☆92Updated 4 years ago
- ☆89Updated 3 years ago
- A corpus and code for understanding norms and subjectivity. 🤖☆49Updated 8 months ago
- ☆124Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated last year