PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
☆148Oct 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:
- Deep Learning and Logical Reasoning from Data and Knowledge☆344Nov 13, 2024Updated last year
- ☆10May 24, 2021Updated 4 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆36Oct 2, 2024Updated last year
- Deep relational learning through differentiable logic programming.☆113Aug 9, 2025Updated 7 months ago
- 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
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Jan 27, 2025Updated last year
- ☆14Oct 27, 2023Updated 2 years ago
- ☆31Aug 9, 2025Updated 7 months ago
- Scalable Training of Propositional Logical Neural Networks.☆15Feb 4, 2022Updated 4 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆306Feb 4, 2026Updated last month
- 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 9 months ago
- PyNeuraLogic lets you use Python to create Differentiable Logic Programs☆304Jan 22, 2026Updated last month
- The Neuro-Symbolic Forward Reasoner☆29Jun 19, 2023Updated 2 years ago
- torchlogic is a pytorch framework for developing Neuro-Symbolic AI systems and implements Neural Reasoning Networks.☆17Sep 18, 2025Updated 5 months ago
- [NAACL'25 🏆 SAC Award] Official code for "Advancing MoE Efficiency: A Collaboration-Constrained Routing (C2R) Strategy for Better Expert…☆15Feb 4, 2025Updated last year
- Code for paper "Source Data and Target Annotations Agnostic Transferability Representation for Source-Free Unsupervised Domain Adaptatio…☆15Jun 7, 2024Updated last year
- Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"☆19Apr 15, 2025Updated 10 months ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆32Dec 4, 2023Updated 2 years ago
- Holographic Reduced Representations☆30Dec 4, 2025Updated 3 months ago
- A Deep Learning model for business process predictions. Preprint on arXiv: https://arxiv.org/abs/2102.07838☆12Feb 2, 2021Updated 5 years ago
- ☆123Jan 9, 2024Updated 2 years ago
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆294Aug 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
- ☆18Feb 22, 2023Updated 3 years ago
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆36Mar 9, 2024Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆114Sep 17, 2025Updated 5 months ago
- A generic, composable multi-dimensional array library.☆12Feb 22, 2026Updated 2 weeks ago
- Tree Stack Memory Units☆17Jun 17, 2020Updated 5 years ago
- ☆16Jan 10, 2022Updated 4 years ago
- A peper list for machine learning models solving combinatorial problems, NP-hard problems and problems in graphs.☆14Aug 14, 2020Updated 5 years ago
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆59Dec 3, 2025Updated 3 months ago
- this is for fun, ain't it grand!☆21Sep 18, 2025Updated 5 months ago
- AdaSkip: Adaptive Sublayer Skipping for Accelerating Long-Context LLM Inference☆20Jan 24, 2025Updated last year
- The code for the paper "Editable Physically-based Reflections in Raytraced Gaussian Radiance Fields"☆49Dec 3, 2025Updated 3 months ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆29May 8, 2025Updated 10 months ago