PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
☆162Oct 2, 2024Updated last year
Alternatives and similar repositories for LTNtorch
Users that are interested in LTNtorch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deep Learning and Logical Reasoning from Data and Knowledge☆372Nov 13, 2024Updated last year
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆42Oct 2, 2024Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- Code for I-RAVEN-X generation and experiments☆26Sep 18, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Deep relational learning through differentiable logic programming.☆122Updated this week
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 10 years ago
- ☆19Feb 22, 2023Updated 3 years ago
- Framework and Language for Neurosymbolic Programming.☆507Jun 26, 2026Updated 2 months ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆328Updated this week
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆26Jun 30, 2023Updated 3 years ago
- ☆16Sep 28, 2023Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆58Sep 17, 2025Updated 11 months ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆37Mar 9, 2024Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆125Sep 17, 2025Updated 11 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
- ☆40Jan 26, 2024Updated 2 years ago
- PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).☆460Oct 24, 2020Updated 5 years ago
- The Neuro-Symbolic Forward Reasoner☆30Jun 19, 2023Updated 3 years ago
- Neuro-symbolic concept embedding and reasoning for ALC knowledge bases☆14Feb 7, 2023Updated 3 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆138Sep 5, 2023Updated 2 years ago
- Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''☆19Feb 2, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Sparse Circuits on the GPU (ICLR2025)☆27Updated this week
- A varitation graph tool☆10Dec 23, 2019Updated 6 years ago
- ☆10Oct 28, 2024Updated last year
- [ICCV] NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning☆31May 30, 2026Updated 3 months ago
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆405Jun 13, 2024Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆74Dec 15, 2025Updated 8 months ago
- Updated code base for GlanceNets: Interpretable, Leak-proof Concept-based models☆26Jun 28, 2023Updated 3 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆79Apr 15, 2024Updated 2 years ago
- Code for paper "Source Data and Target Annotations Agnostic Transferability Representation for Source-Free Unsupervised Domain Adaptatio…☆15Jun 7, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Holographic Reduced Representations☆38Dec 4, 2025Updated 8 months ago
- ☆21Apr 3, 2023Updated 3 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Sep 27, 2022Updated 3 years ago
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆313Updated this week
- This is a python library module with code to help make working with Soar SML in python easier.☆23Jul 24, 2023Updated 3 years ago
- The Python PSDD Package☆18Jul 20, 2025Updated last year
- Deep NLP 2 (2019.3-5)☆10Feb 19, 2019Updated 7 years ago