joelburget / microjaxLinks
A tiny autograd engine with a Jax-like API
☆74Updated 4 months ago
Alternatives and similar repositories for microjax
Users that are interested in microjax 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
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆69Updated 3 months ago
- R.L. methods and techniques.☆199Updated 11 months ago
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆208Updated last year
- Tensor library & inference framework for machine learning☆113Updated last month
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- ☆36Updated 2 months ago
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆350Updated 3 weeks ago
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆33Updated last year
- a categorical deep learning compiler☆204Updated last month
- A playground to make it easy to try crazy things☆33Updated last month
- Heirarchical Navigable Small Worlds☆101Updated 3 months ago
- ☆248Updated last year
- High-Performance Klong array language in Python.☆311Updated last month
- Train neural networks that distill into logic circuits, using JAX☆63Updated 5 months ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆285Updated 2 months ago
- Live-bending a foundation model’s output at neural network level.☆270Updated 7 months ago
- VortexNet: Neural Computing through Fluid Dynamics☆46Updated 9 months ago
- ☆68Updated 3 weeks ago
- Code for the Fractured Entangled Representation Hypothesis position paper!☆204Updated last week
- This repository contain the simple llama3 implementation in pure jax.☆70Updated 8 months ago
- time to learn mlx☆40Updated last month
- A pure NumPy implementation of Mamba.☆223Updated last year
- A MCP server for symbolic manipulation of mathematical expressions☆42Updated 4 months ago
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆226Updated 3 weeks ago
- Rewriting Principia Mathematica in Lean☆135Updated 2 months ago
- ☆47Updated 7 months ago
- ☆172Updated 4 months ago
- Designing bridge trusses with Pytorch autograd☆61Updated last year
- A star for organising blocks and playing with transformers.☆23Updated last year