ccclyu / awesome-deeplogic
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
☆221Updated last month
Related projects: ⓘ
- Deep Learning and Logical Reasoning from Data and Knowledge☆269Updated 5 months ago
- A curated paper list on neural symbolic and probabilistic logic.☆109Updated last year
- Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep lea…☆297Updated 2 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆72Updated 2 weeks ago
- A library for finding knowledge neurons in pretrained transformer models.☆145Updated 2 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆411Updated 3 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆228Updated 9 months ago
- CSKG: The CommonSense Knowledge Graph☆113Updated 11 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆184Updated last month
- ☆107Updated 8 months ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆75Updated 2 years ago
- ☆228Updated 2 years ago
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆66Updated last week
- ☆134Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆73Updated last year
- SoTA Abstract Meaning Representation (AMR) parsing with word-node alignments in Pytorch. Includes checkpoints and other tools such as sta…☆237Updated last year
- Implementation for the Neural Logic Machines (NLM).☆277Updated 5 years ago
- CoDEx: A set of knowledge graph Completion Datasets Extracted from Wikidata and Wikipedia☆149Updated last month
- ☆61Updated this week
- The official code of LM-Debugger, an interactive tool for inspection and intervention in transformer-based language models.☆168Updated 2 years ago
- Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经逻辑,强人工智能逻辑推理前沿领域。☆131Updated 3 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆61Updated 5 months ago
- Conditional Theorem Proving☆51Updated 3 years ago
- Experiments and code to generate the GINC small-scale in-context learning dataset from "An Explanation for In-context Learning as Implici…☆94Updated 10 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆51Updated 8 months ago
- Scalable Multi-Hop Relational Reasoning for Knowledge-Aware Question Answering (EMNLP 2020)☆245Updated 2 years ago
- Large language model and dataset for natural language to first-order logic translation☆39Updated 10 months ago
- CoCo-Ex extracts meaningful concepts from natural language texts and maps them to conjunct concept nodes in ConceptNet, utilizing the max…☆58Updated last year
- ☆158Updated 2 years ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆52Updated 2 years ago