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☆295Updated 2 weeks ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆326Updated last year
- Neuro-Symbolic AI Toolkit☆108Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆137Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆280Updated last year
- Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep lea…☆314Updated 3 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆130Updated 2 years ago
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆73Updated last month
- ☆136Updated last year
- Knowledge-Aware RL agents with Commonsense Reasoning☆79Updated 3 years ago
- Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs☆98Updated 3 years ago
- ☆33Updated 2 years ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆154Updated 3 months ago
- ☆213Updated 2 years ago
- Implementation for the Neural Logic Machines (NLM).☆293Updated 6 years ago
- Experiments and code to generate the GINC small-scale in-context learning dataset from "An Explanation for In-context Learning as Implici…☆106Updated 2 years ago
- Query2box: Reasoning over Knowledge Graphs in Vector Space Using Box Embeddings☆209Updated 4 years ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆78Updated last year
- ☆165Updated last year
- ☆49Updated 2 years ago
- ☆141Updated 3 years ago
- Large language model and dataset for natural language to first-order logic translation☆73Updated 2 years ago
- CSKG: The CommonSense Knowledge Graph☆124Updated 2 years ago
- ☆254Updated 9 months ago
- [ICLR 2022 spotlight]GreaseLM: Graph REASoning Enhanced Language Models for Question Answering☆240Updated 7 months ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆59Updated 4 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆133Updated 3 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- ☆223Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆53Updated 2 months ago