tommasocarraro / LTNtorchView external linksLinks
PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
☆147Oct 2, 2024Updated last year
Alternatives and similar repositories for LTNtorch
Users that are interested in LTNtorch are comparing it to the libraries listed below
Sorting:
- ☆10May 24, 2021Updated 4 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆36Oct 2, 2024Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆56Sep 17, 2025Updated 4 months ago
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 2 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆295Aug 9, 2024Updated last year
- ☆14Oct 27, 2023Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Jan 27, 2025Updated last year
- ☆31Aug 9, 2025Updated 6 months ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆60Oct 28, 2021Updated 4 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆23Mar 4, 2024Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆304Feb 4, 2026Updated last week
- For ACL25 paper "WAFFLE: Multi-Modal Model for Automated Front-End Development" - by Shanchao Liang and Nan Jiang and Shangshu Qian and L…☆11May 28, 2025Updated 8 months ago
- Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"☆18Apr 15, 2025Updated 10 months ago
- Framework and Language for Neurosymbolic Programming.☆448May 1, 2025Updated 9 months ago
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆304Jan 22, 2026Updated 3 weeks ago
- [NAACL'25 🏆 SAC Award] Official code for "Advancing MoE Efficiency: A Collaboration-Constrained Routing (C2R) Strategy for Better Expert…☆14Feb 4, 2025Updated last year
- torchlogic is a pytorch framework for developing Neuro-Symbolic AI systems and implements Neural Reasoning Networks.☆17Sep 18, 2025Updated 4 months ago
- Code for NeurIPS2023 Paper "Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoning"☆26Dec 19, 2023Updated 2 years ago
- Holographic Reduced Representations☆30Dec 4, 2025Updated 2 months ago
- Deep NLP 2 (2019.3-5)☆11Feb 19, 2019Updated 6 years ago
- Neural Markov Logic Networks☆14Feb 14, 2022Updated 4 years ago
- ☆123Jan 9, 2024Updated 2 years ago
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆293Aug 17, 2024Updated last year
- A curated paper list on neural symbolic and probabilistic logic.☆134Sep 5, 2023Updated 2 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Sep 27, 2022Updated 3 years ago
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks☆14Feb 7, 2023Updated 3 years ago
- This repository contains the code for the paper “Neuro-Symbolic Query Compiler”, accepted to the Findings of ACL 2025.☆16Oct 20, 2025Updated 3 months ago
- ☆37Jan 26, 2024Updated 2 years ago
- ☆17Feb 22, 2023Updated 2 years ago
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆36Mar 9, 2024Updated last year
- Neuro-Symbolic AI Toolkit☆112Sep 17, 2025Updated 4 months ago
- Symbolic music generation taking inspiration from NLP and human composition process☆18Jun 28, 2023Updated 2 years ago
- A generic, composable multi-dimensional array library.☆12Feb 8, 2026Updated last week
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆378Jun 13, 2024Updated last year
- Tree Stack Memory Units☆17Jun 17, 2020Updated 5 years ago
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆59Dec 3, 2025Updated 2 months ago
- A peper list for machine learning models solving combinatorial problems, NP-hard problems and problems in graphs.☆14Aug 14, 2020Updated 5 years ago
- this is for fun, ain't it grand!☆21Sep 18, 2025Updated 4 months ago