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:
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆124Updated 6 months ago
- Tensor library & inference framework for machine learning☆113Updated 3 weeks ago
- A tiny autograd engine with a Jax-like API☆74Updated 3 months ago
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆208Updated last year
- The Finite Field Assembly Programming Language☆36Updated 5 months ago
- Algebraic enhancements for GEMM & AI accelerators☆281Updated 8 months ago
- a categorical deep learning compiler☆204Updated last month
- ☆248Updated last year
- A probabilistic approximate DNF counter☆37Updated last month
- throwaway GPT inference☆140Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆67Updated 3 months ago
- ☆198Updated 5 months ago
- Code sample showing how to run and benchmark models on Qualcomm's Window PCs☆102Updated last year
- Heirarchical Navigable Small Worlds☆101Updated 2 months ago
- Code for the Fractured Entangled Representation Hypothesis position paper!☆203Updated 5 months ago
- 8-bit computational substrates☆43Updated last year
- ☆254Updated 2 years ago
- Hashed Lookup Table based Matrix Multiplication (halutmatmul) - Stella Nera accelerator☆214Updated last year
- A collection of fluid simulations☆59Updated 3 weeks ago
- Quickly render fractals in CUDA☆64Updated 3 months ago
- tiny code to access tenstorrent blackhole☆60Updated 5 months ago
- VortexNet: Neural Computing through Fluid Dynamics☆43Updated 9 months ago
- ☆35Updated last month
- Richard is gaining power☆197Updated 4 months ago
- ☆47Updated 6 months ago
- Various implementation of byte matrix multiplication☆26Updated 9 months ago
- A star for organising blocks and playing with transformers.☆23Updated last year
- SIMD quantization kernels☆89Updated last month
- LD_PRELOADable library for exploring the glibc heap☆107Updated 7 months ago
- Training GPTs to solve interaction nets☆17Updated last year