statusfailed / catgradLinks
a categorical deep learning compiler
☆207Updated 4 months ago
Alternatives and similar repositories for catgrad
Users that are interested in catgrad are comparing it to the libraries listed below
Sorting:
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 6 months ago
- A Low Barrier Proof Assistant☆153Updated this week
- A minimal proof checker.☆79Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- A curated list of awesome Category Theory resources.☆128Updated last week
- Formalizing stochastic doubly-efficient debate☆118Updated last year
- ☆111Updated last year
- Rewriting Principia Mathematica in Lean☆138Updated this week
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- An interactive theorem prover for string diagrams☆124Updated last year
- LLM verified with Monte Carlo Tree Search☆284Updated 10 months ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆124Updated last week
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆115Updated 2 years ago
- Haskell implementation of open games☆183Updated last year
- Accelerated machine learning with dependent types☆101Updated last month
- ☆53Updated 5 months ago
- List of resources for learning Category Theory☆278Updated last year
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- The matrix cookbook, proved in the Lean theorem prover☆126Updated 4 months ago
- Exponent pair database☆69Updated this week
- ☆94Updated 2 years ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆79Updated 7 months ago
- ☆87Updated last year
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- A simple raytracer written in Lean 4☆143Updated last year
- HVM3☆276Updated last week
- ☆120Updated 2 years ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆285Updated last year
- Blueprint for the PNT+ Project☆250Updated this week