slightknack / difflogicLinks
Train neural networks that distill into logic circuits, using JAX
☆62Updated 4 months ago
Alternatives and similar repositories for difflogic
Users that are interested in difflogic are comparing it to the libraries listed below
Sorting:
- Tensor library & inference framework for machine learning☆110Updated last week
- The Finite Field Assembly Programming Language☆36Updated 4 months ago
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆124Updated 5 months ago
- A tiny autograd engine with a Jax-like API☆74Updated 3 months ago
- a categorical deep learning compiler☆205Updated last week
- Richard is gaining power☆194Updated 3 months ago
- Heirarchical Navigable Small Worlds☆101Updated 2 months ago
- A collection of fluid simulations☆59Updated last week
- ☆196Updated 5 months ago
- ☆248Updated last year
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆206Updated last year
- tiny code to access tenstorrent blackhole☆59Updated 4 months ago
- A star for organising blocks and playing with transformers.☆23Updated last year
- Rewriting Principia Mathematica in Lean☆134Updated 3 weeks ago
- A probabilistic approximate DNF counter☆37Updated last month
- ☆47Updated 6 months ago
- ☆189Updated last year
- fast combinations calculation in jax☆36Updated last year
- ☆125Updated 4 months ago
- throwaway GPT inference☆140Updated last year
- Code sample showing how to run and benchmark models on Qualcomm's Window PCs☆101Updated last year
- LD_PRELOADable library for exploring the glibc heap☆107Updated 7 months ago
- Hashed Lookup Table based Matrix Multiplication (halutmatmul) - Stella Nera accelerator☆214Updated last year
- Algebraic enhancements for GEMM & AI accelerators☆280Updated 7 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- ☆254Updated 2 years ago
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Updated 7 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 7 months ago
- ☆30Updated 9 months ago
- Setting up C elegans as an RL environment.☆16Updated last year