bgavran / Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
☆1,325Updated last week
Alternatives and similar repositories for Category_Theory_Machine_Learning:
Users that are interested in Category_Theory_Machine_Learning are comparing it to the libraries listed below
- List of resources for learning Category Theory☆245Updated 2 months ago
- Resources for learning Category Theory for an enthusiast☆618Updated last year
- Research language for array processing in the Haskell/ML family☆1,603Updated 3 weeks ago
- A curated list of awesome Category Theory resources.☆111Updated 11 months ago
- ☆370Updated 3 years ago
- The collected works of F. W. Lawvere☆333Updated 5 months ago
- The Python toolkit for computing with string diagrams.☆361Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆226Updated 2 months ago
- A curated list of topological deep learning (TDL) resources and links.☆232Updated 2 months ago
- JAX - A curated list of resources https://github.com/google/jax☆1,699Updated this week
- a categorical deep learning compiler☆194Updated 9 months ago
- Tensor Network Library with Autograd☆256Updated this week
- Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/☆2,239Updated this week
- ACT community resources☆467Updated 5 years ago
- Scientific computing in Lean 4☆366Updated this week
- A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond☆949Updated this week
- Curated list of interactive ML demos☆345Updated last month
- A book about category theory☆408Updated last week
- Tensors and neural networks in Haskell☆1,093Updated this week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,662Updated 7 months ago
- Compositional Linear Algebra☆462Updated 2 weeks ago
- The purpose of this repo is to make it easy to get started with JAX, Flax, and Haiku. It contains my "Machine Learning with JAX" series o…☆689Updated last year
- ☆464Updated 3 weeks ago
- Optax is a gradient processing and optimization library for JAX.☆1,802Updated this week
- 💧 Liquid Tensor Experiment☆188Updated last year
- High-Performance Symbolic Regression in Python and Julia☆2,629Updated this week
- AutoBound automatically computes upper and lower bounds on functions.☆359Updated 7 months ago
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,731Updated 2 months ago
- The Lean version manager☆340Updated 3 weeks ago
- amateur translation project of Grothendieck's EGA.☆338Updated 4 months ago