slightknack / difflogicLinks
Train neural networks that distill into logic circuits, using JAX
☆64Updated 7 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☆125Updated 9 months ago
- A tiny autograd engine with a Jax-like API☆74Updated 7 months ago
- Tensor library & inference framework for machine learning☆117Updated 4 months ago
- The Quasi Quantum Assembly Programming Language☆36Updated 2 months ago
- Evolution Pretraining Fully in Int Formats☆136Updated last month
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆218Updated last year
- Algebraic enhancements for GEMM & AI accelerators☆287Updated 11 months ago
- A collection of fluid simulations☆59Updated 4 months ago
- Code sample showing how to run and benchmark models on Qualcomm's Window PCs☆104Updated last year
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆209Updated last year
- throwaway GPT inference☆141Updated last year
- Mistral7B playing DOOM☆139Updated last year
- ☆200Updated 9 months ago
- 8-bit computational substrates☆47Updated last year
- a categorical deep learning compiler☆207Updated 4 months ago
- Heirarchical Navigable Small Worlds☆101Updated 5 months ago
- A collection of optimization problems in mathematics☆175Updated this week
- ☆250Updated last year
- Code for the Fractured Entangled Representation Hypothesis position paper!☆221Updated 3 months ago
- ☆191Updated last year
- Craziness.☆29Updated 11 months ago
- ☆47Updated 10 months ago
- tiny code to access tenstorrent blackhole☆61Updated 8 months ago
- time to learn mlx☆42Updated 4 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 6 months ago
- Quickly render fractals in CUDA☆65Updated 6 months ago
- LD_PRELOADable library for exploring the glibc heap☆108Updated 11 months ago
- ☆179Updated 2 months ago
- A probabilistic approximate DNF counter☆39Updated 2 months ago
- Autograd to GPT-2 completely from scratch☆126Updated 5 months ago