Scalable Training of Propositional Logical Neural Networks.
☆15Feb 4, 2022Updated 4 years ago
Alternatives and similar repositories for TensorLNN
Users that are interested in TensorLNN 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
- ☆10May 24, 2021Updated 4 years ago
- Neuro-Symbolic AI Toolkit☆114Sep 17, 2025Updated 6 months ago
- ☆18Feb 22, 2023Updated 3 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Sep 27, 2022Updated 3 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆12Jul 18, 2022Updated 3 years ago
- Aligntune : A Modular Toolkit for Post Training Alignment of LLMs☆36Feb 26, 2026Updated 3 weeks ago
- A Python library for working with logic networks, synthesis, and optimization.☆75Updated this week
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆309Updated this week
- A curated list of Story Ending Generation models; DASFAA'22: Incorporating Commonsense Knowledge into Story Ending Generation via Heterog…☆14May 12, 2022Updated 3 years ago
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- A Rust implementation of Yolo for object detection and tracking.☆10Nov 17, 2022Updated 3 years ago
- A Reinforcement Learning to play StarCraft, written in PyTorch. Currently in research.☆11Mar 23, 2018Updated 7 years ago
- Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving☆29Jan 7, 2026Updated 2 months ago
- Count the flow of pedestrains☆11Oct 7, 2017Updated 8 years ago
- ☆11Mar 3, 2025Updated last year
- ☆12Mar 8, 2023Updated 3 years ago
- A robust Linear Genetic Programming implementation on the JVM using Kotlin.☆18Oct 25, 2021Updated 4 years ago
- Deep relational learning through differentiable logic programming.☆114Aug 9, 2025Updated 7 months ago
- ☆13Dec 31, 2022Updated 3 years ago
- training SNN with Resume algorithm☆10Nov 15, 2019Updated 6 years ago
- ⚙️ Solving sudoku using Deep Reinforcement learning in combination with powerful symbolic representations.☆74Dec 16, 2021Updated 4 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆149Oct 2, 2024Updated last year
- [IJCAI 2024] QiMeng-CPU-v1: Automated CPU Design by Learning from Input-Output Examples☆27May 4, 2025Updated 10 months ago
- ABACUS is a tool for approximate logic synthesis☆14Jul 13, 2020Updated 5 years ago
- ☆15Mar 26, 2024Updated last year
- Example implemention of the Proximal Policy Optimization algorithm☆17Jul 25, 2024Updated last year
- ☆20Apr 3, 2023Updated 2 years ago
- Parallel programming with MPI☆18Nov 4, 2021Updated 4 years ago
- Python2 / Brian2 implementation (attempt) of Normalized Approximate Descent based Supervised Learning Rule.☆12Feb 10, 2023Updated 3 years ago
- ☆21Jul 29, 2023Updated 2 years ago
- ☆15Mar 4, 2026Updated 2 weeks ago
- my slides for an advanced algorithms course☆14Apr 26, 2025Updated 10 months ago
- Implements the Messenger environment and EMMA model.☆25Jun 14, 2023Updated 2 years ago
- cotainr - a user space Apptainer/Singularity container builder.☆30Oct 7, 2025Updated 5 months ago
- fast probabilistic symmetry detection on graphs☆20Feb 4, 2026Updated last month
- Implementation of CarSNN: An Efficient Spiking Neural Network for Event-Based Autonomous Cars on the Loihi Neuromorphi☆15Aug 4, 2021Updated 4 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆32Feb 10, 2022Updated 4 years ago
- Lab Book Database Framework with Input, Output, and Reporting Functions☆14Jul 18, 2022Updated 3 years ago