slightknack / difflogicLinks
Train neural networks that distill into logic circuits, using JAX
☆64Updated 6 months ago
Alternatives and similar repositories for difflogic
Users that are interested in difflogic are comparing it to the libraries listed below
Sorting:
- A tiny autograd engine with a Jax-like API☆74Updated 6 months ago
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆125Updated 8 months ago
- The Quasi Quantum Assembly Programming Language☆36Updated last month
- Tensor library & inference framework for machine learning☆118Updated 3 months ago
- tiny code to access tenstorrent blackhole☆61Updated 7 months ago
- Evolution Pretraining Fully in Int Formats☆135Updated 3 weeks ago
- CUDA-L2: Surpassing cuBLAS Performance for Matrix Multiplication through Reinforcement Learning☆270Updated 3 weeks ago
- ☆42Updated last week
- ☆199Updated 8 months ago
- Heirarchical Navigable Small Worlds☆101Updated 4 months ago
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆209Updated last year
- a categorical deep learning compiler☆207Updated 3 months ago
- Algebraic enhancements for GEMM & AI accelerators☆286Updated 10 months ago
- ☆130Updated this week
- throwaway GPT inference☆141Updated last year
- ☆250Updated last year
- noise_step: Training in 1.58b With No Gradient Memory☆220Updated last year
- A collection of fluid simulations☆59Updated 3 months ago
- Code for the Fractured Entangled Representation Hypothesis position paper!☆220Updated 2 months ago
- Richard is gaining power☆199Updated 6 months ago
- SIMD quantization kernels☆93Updated 4 months ago
- VortexNet: Neural Computing through Fluid Dynamics☆46Updated 11 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 5 months ago
- 8-bit computational substrates☆47Updated last year
- A probabilistic approximate DNF counter☆39Updated last month
- ☆36Updated 4 months ago
- Training GPTs to solve interaction nets☆18Updated last year
- Custom PTX Instruction Benchmark☆137Updated 10 months ago
- Setting up C elegans as an RL environment.☆16Updated last year
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year