bgavran / Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
☆1,313Updated 3 months ago
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☆238Updated last month
- Tensor Network Library with Autograd☆157Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆221Updated last month
- A framework for applied category theory in the Julia language☆623Updated this week
- LLMs as Copilots for Theorem Proving in Lean☆1,016Updated this week
- Resources for learning Category Theory for an enthusiast☆615Updated last year
- ☆368Updated 3 years ago
- Scientific computing in Lean 4☆356Updated this week
- A curated list of awesome Category Theory resources.☆109Updated 10 months ago
- Tensors and neural networks in Haskell☆1,085Updated this week
- Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/☆2,193Updated last week
- A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond☆943Updated 3 months ago
- The user home repository for the Mathematics in Lean tutorial.☆294Updated last week
- Graph Machine Learning course, Xavier Bresson, 2023☆594Updated 4 months ago
- Research language for array processing in the Haskell/ML family☆1,601Updated last week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆378Updated this week
- Uncertainty quantification with PyTorch☆333Updated 2 months ago
- The collected works of F. W. Lawvere☆329Updated 4 months ago
- Companion webpage for the book "Bayesian Optimization" by Roman Garnett☆893Updated 8 months ago
- Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/☆1,515Updated this week
- JAX - A curated list of resources https://github.com/google/jax☆1,660Updated 6 months ago
- Compositional Linear Algebra☆456Updated this week
- Topological Deep Learning☆247Updated this week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,663Updated 6 months ago
- ☆461Updated 3 weeks ago
- Material for the "Probabilistic Machine Learning" Course at the University of Tübingen, Summer Term 2023☆140Updated last year
- Hundreds of strange attractors☆435Updated last week
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,714Updated last month
- Curated list of interactive ML demos☆341Updated last week
- Collection of important articles to be treated as a textbook☆650Updated last month