ccclyu / awesome-deeplogicLinks
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
☆286Updated 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:
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆292Updated last month
- Deep Learning and Logical Reasoning from Data and Knowledge☆319Updated last year
- Neuro-Symbolic AI Toolkit☆106Updated 2 months ago
- A curated paper list on neural symbolic and probabilistic logic.☆130Updated 2 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆132Updated last year
- Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep lea…☆314Updated 3 years ago
- ☆136Updated last year
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆73Updated last month
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆273Updated last year
- Knowledge-Aware RL agents with Commonsense Reasoning☆78Updated 3 years ago
- Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs☆96Updated 2 years ago
- ☆141Updated 3 years ago
- Query2box: Reasoning over Knowledge Graphs in Vector Space Using Box Embeddings☆209Updated 4 years ago
- ☆33Updated last year
- CSKG: The CommonSense Knowledge Graph☆124Updated 2 years ago
- ☆211Updated 2 years ago
- [ICLR 2022 spotlight]GreaseLM: Graph REASoning Enhanced Language Models for Question Answering☆240Updated 6 months ago
- Large language model and dataset for natural language to first-order logic translation☆70Updated 2 years ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆59Updated 4 years ago
- ☆62Updated 2 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆442Updated 5 years ago
- Independent implementation of DBCA method from http://arxiv.org/abs/1912.09713☆11Updated 4 years ago
- Implementation for the Neural Logic Machines (NLM).☆292Updated 6 years ago
- [NeurIPS 2022] DRAGON 🐲: Deep Bidirectional Language-Knowledge Graph Pretraining☆330Updated 2 years ago
- A library for finding knowledge neurons in pretrained transformer models.☆158Updated 3 years ago
- ☆222Updated 2 years ago
- Official Python client library for the OpenReview API☆211Updated this week
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆78Updated last year
- A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…☆168Updated 4 years ago