TinyNS: Platform-Aware Neurosymbolic Auto Tiny Machine Learning
☆25Jun 2, 2023Updated 3 years ago
Alternatives and similar repositories for neurosymbolic-tinyml
Users that are interested in neurosymbolic-tinyml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆21Feb 25, 2023Updated 3 years ago
- This project demonstrates the application of Hybrid Markov Logic Networks (MLN) to verify and refine embeddings from the Cora citation ne…☆16Apr 18, 2025Updated last year
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆36Mar 9, 2024Updated 2 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.
- Jumpstart your custom DNN accelerator today. This project holds scripts to build and start containers that can compile binaries to the ze…☆10Jun 17, 2020Updated 6 years ago
- ☆12Jan 21, 2025Updated last year
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆26Jun 30, 2023Updated 3 years ago
- SIMPLE MAGIC: Synthesis and In-memory MaPping of Logic Execution for Memristor Aided loGIC☆15Jan 23, 2020Updated 6 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- This repository is about video compression, and more specifically about the motion estimation block (ME block) of a video encoder. It is …☆13Sep 14, 2020Updated 6 years ago
- 4th RISC-V Workshop Tutorials☆13Jul 19, 2016Updated 10 years ago
- McPAT modeling framework☆13Oct 18, 2014Updated 12 years ago
- PyTorch implementation for "HyperSPNs: Compact and Expressive Probabilistic Circuits", NeurIPS 2021☆13Oct 26, 2021Updated 4 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.
- Repository with notebooks associated with video streams☆10Aug 13, 2024Updated 2 years ago
- bitfusion verilog implementation☆13Feb 21, 2022Updated 4 years ago
- iQuHACK 2020 Ideas☆13Feb 5, 2020Updated 6 years ago
- QIran's QProject101 (IR_QProject_101) is a 12 week long research program designed for the students and newcomers to the field of quantum …☆13Sep 17, 2024Updated 2 years ago
- Examples that illustrate the possibilities of the Quantum Inspire platform to run more complex algorithms☆12May 31, 2024Updated 2 years ago
- pycon 2023 Tutorial☆13Apr 16, 2023Updated 3 years ago
- Repo for PyChart 1.39, refs http://download.gna.org/pychart/☆10Sep 29, 2014Updated 12 years ago
- Simple FPGA-based Wavelet Image Compression☆15Dec 1, 2015Updated 10 years ago
- Code and Data Repo for the CoNLL Paper -- Future Lens: Anticipating Subsequent Tokens from a Single Hidden State☆21Oct 24, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a Carpentries-style lesson introducing the basics of data visualization☆11Updated this week
- Neuro-Symbolic AI Toolkit☆124Sep 17, 2025Updated last year
- A curated paper list on neural symbolic and probabilistic logic.☆138Sep 5, 2023Updated 3 years ago
- qMuVi - A python package that converts quantum circuits into audiovisual experiences, bridging the gap between complex quantum computatio…☆17Nov 19, 2025Updated 11 months ago
- ☆45Mar 19, 2025Updated last year
- Scalable training and inference for Probabilistic Circuits☆107Updated this week
- A GPSD simulator using a map☆11Feb 22, 2018Updated 8 years ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆23Jul 27, 2026Updated 2 months ago
- ☆16Sep 4, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A MIPS CPU with dual-issue, out-of-order, and 5-stage pipelines☆11Nov 28, 2019Updated 6 years ago
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 4 years ago
- 2021 Ideas☆20Feb 2, 2021Updated 5 years ago
- Generic Linear Algebra Porting of PyDMD [Ongoing]☆11Aug 11, 2023Updated 3 years ago
- Sniffer，大二网络编程的课程设计☆10Feb 28, 2022Updated 4 years ago
- Identify the frequency domain of an image. Aplly Discrete Cosine Transform(DCT ) and Inverse Discrete Cosine Transform(IDCT) in image☆21Jul 25, 2022Updated 4 years ago
- Shiftly is an Android app which provides an easy and interactive way for both employers and employees to manage scheduling at work.☆11Sep 24, 2019Updated 7 years ago