A `Neural = Symbolic` framework for sound and complete weighted real-value logic
☆309Mar 16, 2026Updated this week
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 6 months ago
- Neuro-Symbolic AI Toolkit☆114Sep 17, 2025Updated 6 months ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Sep 27, 2022Updated 3 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆134Sep 5, 2023Updated 2 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆346Nov 13, 2024Updated last year
- Knowledge-Aware RL agents with Commonsense Reasoning☆79Mar 4, 2022Updated 4 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆23Feb 11, 2026Updated last month
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆53May 16, 2021Updated 4 years ago
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆296Aug 17, 2024Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆307Aug 9, 2024Updated last year
- Neural Logic Inductive Learning☆44Aug 6, 2022Updated 3 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 5 months ago
- Framework and Language for Neurosymbolic Programming.☆459May 1, 2025Updated 10 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆149Oct 2, 2024Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆80Jan 2, 2024Updated 2 years ago
- SoTA Abstract Meaning Representation (AMR) parsing with word-node alignments in Pytorch. Includes checkpoints and other tools such as sta…☆273Sep 17, 2025Updated 6 months ago
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆99May 3, 2024Updated last year
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago
- The code of NeurIPS 2021 paper "Scalable Rule-Based Representation Learning for Interpretable Classification" and TPAMI paper "Learning I…☆121Mar 12, 2024Updated 2 years ago
- Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.☆45Nov 3, 2020Updated 5 years ago
- ☆140Dec 22, 2023Updated 2 years ago
- ☆123Jan 9, 2024Updated 2 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- A neurosymbolic perspective on LLMs☆1,684Updated this week
- Delft Quantum & Classical simulator☆17Jun 17, 2022Updated 3 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆451Oct 24, 2020Updated 5 years ago
- End-to-End Differentiable Proving☆90Nov 21, 2018Updated 7 years ago
- Zeta implementation of a reusable and plug in and play feedforward from the paper "Exponentially Faster Language Modeling"☆16Nov 11, 2024Updated last year
- Code for ICCV2021 paper: Calibrating Concepts and Operations: Towards Symbolic Reasoning on Real Images☆15Jan 24, 2023Updated 3 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆332Updated this week
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated 11 months ago
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆389Jun 13, 2024Updated last year
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆305Jan 22, 2026Updated 2 months ago
- python-wrapped version of ellen, a linear genetic programming system for symbolic regression and classification.☆60Oct 27, 2022Updated 3 years ago