ccclyu / awesome-deeplogicLinks
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
☆281Updated last year
Alternatives and similar repositories for awesome-deeplogic
Users that are interested in awesome-deeplogic are comparing it to the libraries listed below
Sorting:
- Deep Learning and Logical Reasoning from Data and Knowledge☆312Updated 9 months ago
- Neuro-Symbolic AI Toolkit☆99Updated 2 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆277Updated last month
- A curated paper list on neural symbolic and probabilistic logic.☆128Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆122Updated 10 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆254Updated last year
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆73Updated 11 months ago
- ☆131Updated last year
- Knowledge-Aware RL agents with Commonsense Reasoning☆78Updated 3 years ago
- ☆34Updated last year
- Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs☆97Updated 2 years ago
- CSKG: The CommonSense Knowledge Graph☆123Updated last year
- [ICLR 2022 spotlight]GreaseLM: Graph REASoning Enhanced Language Models for Question Answering☆239Updated 4 months ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆58Updated 3 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆77Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆27Updated 10 months ago
- Query2box: Reasoning over Knowledge Graphs in Vector Space Using Box Embeddings☆207Updated 4 years ago
- Implementation for the Neural Logic Machines (NLM).☆290Updated 6 years ago
- A library for finding knowledge neurons in pretrained transformer models.☆158Updated 3 years ago
- CoCo-Ex extracts meaningful concepts from natural language texts and maps them to conjunct concept nodes in ConceptNet, utilizing the max…☆59Updated 2 years ago
- ☆248Updated 6 months ago
- Conditional Theorem Proving☆53Updated 4 years ago
- ☆141Updated 3 years ago
- ☆210Updated 2 years ago
- Simple language-driven navigation tasks for studying compositional learning☆198Updated 4 years ago
- This repository contains a collection of papers and resources on Reasoning in Large Language Models.☆564Updated last year
- ☆163Updated 9 months ago
- [NeurIPS 2023] Learning Transformer Programs☆163Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆147Updated 10 months ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 2 years ago