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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆57Sep 17, 2025Updated 6 months ago
- ☆10May 24, 2021Updated 4 years ago
- Neuro-Symbolic AI Toolkit☆116Sep 17, 2025Updated 6 months 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tiltrotor Control and System Identification using Fuzzy C-Means Clustering.☆13Sep 25, 2024Updated last year
- 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☆312Mar 30, 2026Updated last week
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- Analog IC symmetry extraction benchmark of AncstrGNN☆10Aug 19, 2024Updated last year
- Official implementation of the winning system at SemEval-2021 Task 11 - NLP Contribution Graph (Best System Paper Award 🏆)☆11Aug 24, 2025Updated 7 months ago
- Count the flow of pedestrains☆11Oct 7, 2017Updated 8 years ago
- Fast String Subsequence Kernel (SSK) implementation in Python (Cython)☆10Jan 16, 2021Updated 5 years ago
- ☆11Mar 3, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆24Jun 23, 2024Updated last year
- In this project, facial recognition algorithm is implemented with python using PCA and SVD dimensionality reduction tools.☆10Sep 2, 2019Updated 6 years ago
- [NeurIPS 2024 Spotlight] Scalable and Effective Arithmetic Tree Generation for Adder and Multiplier Designs☆15Feb 22, 2026Updated last month
- A Decision Transformer for solving optimal EV charging problems using offline data.☆18Jan 19, 2026Updated 2 months ago
- ☆13Dec 31, 2022Updated 3 years ago
- training SNN with Resume algorithm☆10Nov 15, 2019Updated 6 years ago
- Deep relational learning through differentiable logic programming.☆114Aug 9, 2025Updated 8 months ago
- training for VOC dataset☆11Nov 7, 2019Updated 6 years ago
- ⚙️ Solving sudoku using Deep Reinforcement learning in combination with powerful symbolic representations.☆74Dec 16, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- [COLING2020] A challenge dataset for Person SenTiment analysis in news domain.☆11May 2, 2022Updated 3 years ago
- Novel adaptive tuning of the PID gains using an Actor-Critic-based Neural Network for Attitude Control of a 6-Dof, 4-motor Robot☆32Sep 25, 2024Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆155Oct 2, 2024Updated last year
- [IJCAI 2024] QiMeng-CPU-v1: Automated CPU Design by Learning from Input-Output Examples☆28May 4, 2025Updated 11 months ago
- Lane detection and object detetion (YOLO) using OpenCV and python☆44Jun 25, 2020Updated 5 years ago
- This is a repo to store circuit design datasets☆19Jan 17, 2024Updated 2 years ago
- Example implemention of the Proximal Policy Optimization algorithm☆17Jul 25, 2024Updated last year
- A two-column template for pre-prints based on the arXiv submission guide.☆15Sep 10, 2025Updated 7 months ago
- Plot gantt or waterfall charts☆18Dec 7, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This is a series of OpenCV samples of image processing, object recognition, AR ,etc. implemented on Android.☆11May 10, 2018Updated 7 years ago
- my slides for an advanced algorithms course☆14Apr 26, 2025Updated 11 months ago
- Implements the Messenger environment and EMMA model.☆25Jun 14, 2023Updated 2 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆32Feb 10, 2022Updated 4 years ago
- Benchmarks for Approximate Circuit Synthesis☆17Aug 2, 2020Updated 5 years ago
- Gate-level timing estimation toolkit☆25Apr 11, 2022Updated 3 years ago
- MNASNet implementation and pre-trained model in PyTorch☆10Mar 20, 2019Updated 7 years ago