bgavran / Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
☆1,259Updated last month
Related projects: ⓘ
- List of resources for learning Category Theory☆220Updated 11 months ago
- A curated list of topological deep learning (TDL) resources and links.☆207Updated 2 weeks ago
- JAX - A curated list of resources https://github.com/google/jax☆1,471Updated 2 months ago
- A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond☆909Updated last month
- Resources for learning Category Theory for an enthusiast☆598Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆951Updated 2 weeks ago
- ☆367Updated 2 years ago
- Curated list of interactive ML demos☆336Updated 9 months ago
- Research language for array processing in the Haskell/ML family☆1,576Updated 3 weeks ago
- Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/☆2,042Updated this week
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆301Updated 6 months ago
- Collection of important articles to be treated as a textbook☆556Updated 5 months ago
- Graph Machine Learning course, Xavier Bresson, 2023☆570Updated 3 weeks ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆180Updated last week
- ☆432Updated 2 weeks ago
- A framework for applied category theory in the Julia language☆607Updated last week
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,639Updated last week
- Companion webpage for the book "Bayesian Optimization" by Roman Garnett☆867Updated 4 months ago
- Language model alignment-focused deep learning curriculum☆1,216Updated last month
- ☆325Updated 11 months ago
- The Python toolkit for computing with string diagrams.☆342Updated 3 months ago
- The collected works of F. W. Lawvere☆311Updated 2 weeks ago
- amateur translation project of Grothendieck's EGA.☆322Updated 4 months ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆347Updated last week
- Probabilistic Machine Learning: Advanced Topics☆1,389Updated 2 months ago
- A Graph Neural Network Library in Jax☆1,357Updated 6 months ago
- Tensors and neural networks in Haskell☆1,058Updated 2 months 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…☆624Updated 9 months ago
- Tool for data extraction and interacting with Lean programmatically.☆539Updated this week
- A Learning Environment for Theorem Proving with the Coq proof assistant☆381Updated last year