A `Neural = Symbolic` framework for sound and complete weighted real-value logic
☆306Feb 4, 2026Updated 3 weeks ago
Alternatives and similar repositories for LNN
Users that are interested in LNN are comparing it to the libraries listed below
Sorting:
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆56Sep 17, 2025Updated 5 months ago
- Neuro-Symbolic AI Toolkit☆113Sep 17, 2025Updated 5 months ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Apr 6, 2022Updated 3 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆343Nov 13, 2024Updated last year
- Knowledge-Aware RL agents with Commonsense Reasoning☆80Mar 4, 2022Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆301Aug 9, 2024Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆293Aug 17, 2024Updated last year
- An inductive logic programming system☆270Updated this week
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 4 months ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆147Oct 2, 2024Updated last year
- Implementation for the Neural Logic Machines (NLM).☆294May 13, 2019Updated 6 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆98May 3, 2024Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 5 months ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Jul 22, 2021Updated 4 years ago
- Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.☆44Nov 3, 2020Updated 5 years ago
- The Socio-physical Model of Activities (SOMA) is a formal activity model for embodied agents that need to operate their body to generate …☆19Jul 12, 2025Updated 7 months ago
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆381Jun 13, 2024Updated last year
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆450Oct 24, 2020Updated 5 years ago
- A neurosymbolic perspective on LLMs☆1,673Updated this week
- The code of NeurIPS 2021 paper "Scalable Rule-Based Representation Learning for Interpretable Classification" and TPAMI paper "Learning I…☆120Mar 12, 2024Updated last year
- Differentiable Learning of Logical Rules for Knowledge Base Reasoning☆224Feb 12, 2019Updated 7 years ago
- Active Inference models of/for Ants☆27Aug 26, 2025Updated 6 months ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Nov 14, 2025Updated 3 months ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆328Feb 22, 2026Updated last week
- ☆123Jan 9, 2024Updated 2 years ago
- A HOL-based framework for reasoning over knowledge graphs☆26Sep 17, 2025Updated 5 months ago
- ☆10Nov 27, 2019Updated 6 years ago
- Risk Minimization Algorithms in Structured Prediction (JMLR 2016)☆13Jan 26, 2017Updated 9 years ago
- ☆10May 24, 2021Updated 4 years ago
- First pass at a thin wrapper around the Monarch API and ChatGPT plugin☆12Mar 21, 2025Updated 11 months ago
- AdaLoGN: Adaptive Logic Graph Network for Reasoning-Based Machine Reading Comprehension (ACL 2022)☆27May 20, 2022Updated 3 years ago
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆304Jan 22, 2026Updated last month
- Code for "RADCoT: Retrieval-Augmented Distillation to Specialization Models for Generating Chain-of-Thoughts in Query Expansion", LREC-CO…☆11May 25, 2024Updated last year
- ☆13Nov 12, 2019Updated 6 years ago