bgavran / Category_Theory_Machine_LearningLinks
List of papers studying machine learning through the lens of category theory
☆1,423Updated last month
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
Sorting:
- List of resources for learning Category Theory☆268Updated 9 months ago
- Resources for learning Category Theory for an enthusiast☆637Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆298Updated 9 months ago
- A curated list of topological deep learning (TDL) resources and links.☆265Updated this week
- Machine Learning with Symbolic Tensors☆334Updated 3 months ago
- A curated list of awesome Category Theory resources.☆123Updated 4 months ago
- LLMs as Copilots for Theorem Proving in Lean☆1,160Updated last month
- ☆377Updated 3 years ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆308Updated last year
- a categorical deep learning compiler☆205Updated 6 months ago
- The Python toolkit for computing with string diagrams.☆385Updated 3 months ago
- JAX - A curated list of resources https://github.com/google/jax☆1,918Updated 2 weeks ago
- The collected works of F. W. Lawvere☆362Updated last year
- List of papers and other resources at the intersection of Category Theory and NLP.☆54Updated 2 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆679Updated this week
- Collection of important articles to be treated as a textbook☆804Updated 2 weeks ago
- Curated list of interactive ML demos☆354Updated 5 months ago
- ☆507Updated 4 months ago
- Tensors and neural networks in Haskell☆1,151Updated last month
- A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond☆1,008Updated 6 months ago
- ☆453Updated 10 months ago
- Research language for array processing in the Haskell/ML family☆1,629Updated 7 months ago
- A collection of formalized statements of conjectures in Lean.☆620Updated this week
- Scientific computing in Lean 4☆425Updated 3 months ago
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,817Updated 2 months ago
- Companion webpage for the book "Bayesian Optimization" by Roman Garnett☆919Updated last year
- ☆525Updated 2 years ago
- ☆176Updated 2 years ago
- Graph Machine Learning course, Xavier Bresson, 2023☆616Updated last year
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆297Updated 3 years ago