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 5 months ago
- ☆10May 24, 2021Updated 4 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Apr 6, 2022Updated 3 years ago
- ☆17Feb 22, 2023Updated 3 years ago
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- ⚙️ Solving sudoku using Deep Reinforcement learning in combination with powerful symbolic representations.☆74Dec 16, 2021Updated 4 years ago
- MIG Welder Controller☆10May 20, 2015Updated 10 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆32Feb 10, 2022Updated 4 years ago
- A python web scraper built on Selenium to gather profile data from okcupid.com☆11Oct 15, 2022Updated 3 years ago
- A Python library for working with logic networks, synthesis, and optimization.☆74Updated this week
- Analog IC symmetry extraction benchmark of AncstrGNN☆10Aug 19, 2024Updated last year
- Android app to Auto-Reply to SMS messages☆11Sep 30, 2020Updated 5 years ago
- Potentiostat module for the Open Lab Monitor☆12Nov 24, 2013Updated 12 years ago
- A Rust implementation of Yolo for object detection and tracking.☆10Nov 17, 2022Updated 3 years ago
- Hide retweets and threads on Twitter☆15Dec 17, 2022Updated 3 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆306Feb 4, 2026Updated 3 weeks ago
- A Python package for analysis of geometric morphometric data.☆10Jun 7, 2018Updated 7 years ago
- Proof of concept test to see if you can drive 8 WS2812B neopixel strips in parallel☆11May 4, 2016Updated 9 years ago
- MaskedHabbit is a TaskRabbit clone☆13Mar 8, 2023Updated 2 years ago
- Sample python app for deployment with piku☆12Nov 3, 2021Updated 4 years ago
- A template for making a project based on redbean☆14Aug 19, 2022Updated 3 years ago
- chrome extension to scrape websites☆13Aug 1, 2016Updated 9 years ago
- Lab Book Database Framework with Input, Output, and Reporting Functions☆14Jul 18, 2022Updated 3 years ago
- A universal poker bot for macOS, combining image recognition with monte carlo driven decision making.☆14Nov 28, 2022Updated 3 years ago
- An Android Map application that finds the shortest route between multiple locations. Now you can plan by not only address, but also place…☆10Jan 20, 2020Updated 6 years ago
- Gigl is a platform that connects clients to local freelancers such as photographers, bartenders, artists, and entertainers☆13Jan 6, 2021Updated 5 years ago
- ☆17Updated this week
- Eulerian video magnification in Matlab☆30Jun 9, 2012Updated 13 years ago
- Google Common Lisp Style Guide in Chinese☆13Apr 4, 2019Updated 6 years ago
- Intel oneAPI RenderKit CMake superbuild☆12Jan 13, 2026Updated last month
- Does FFT (Fast Fourier Transform) to the acceleration data that obtained from an android device.☆10Dec 6, 2023Updated 2 years ago
- GCode DSL for Ruby. Makes manually writing GCode fun.☆11Aug 23, 2015Updated 10 years ago
- Studies on Human Behavior - Geovisualization of Spatio-temporal data is a very promising topic, especially for social sciences. It is pos…☆10Jan 4, 2022Updated 4 years ago
- Final year project to create a robot for agriculture using ROS support☆12Mar 20, 2018Updated 7 years ago
- Anatomy of a powerhouse: SystemVerilog TPU based on Google TPU v1☆20Nov 9, 2025Updated 3 months ago
- ☆12Nov 30, 2023Updated 2 years ago
- 📱 RUNIC tamper detection demo - designed to serve as a parallel for understanding more complex tamper detection and integrity systems su…☆15Apr 13, 2024Updated last year
- ☆10Nov 27, 2019Updated 6 years ago
- A Javascript library for generating blocks for the ICEstudio FPGA development environment☆10Jul 31, 2018Updated 7 years ago