bgavran / Category_Theory_Machine_LearningLinks
List of papers studying machine learning through the lens of category theory
☆1,488Updated 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
Sorting:
- List of resources for learning Category Theory☆280Updated last year
- Machine Learning with Symbolic Tensors☆356Updated last month
- ☆381Updated 4 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆330Updated last year
- Resources for learning Category Theory for an enthusiast☆662Updated 2 years ago
- A curated list of topological deep learning (TDL) resources and links.☆274Updated 3 months ago
- A framework for applied category theory in the Julia language☆692Updated this week
- LLMs as Copilots for Theorem Proving in Lean☆1,220Updated last month
- Collection of important articles to be treated as a textbook☆849Updated 5 months ago
- a categorical deep learning compiler☆207Updated 4 months ago
- A curated list of awesome Category Theory resources.☆128Updated 2 weeks ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆55Updated 2 years ago
- The collected works of F. W. Lawvere☆371Updated last year
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,860Updated 7 months ago
- ☆517Updated last week
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆314Updated last year
- ☆492Updated last year
- The user home repository for the Mathematics in Lean tutorial.☆467Updated 6 months ago
- MIT IAP short course: Matrix Calculus for Machine Learning and Beyond☆570Updated last week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆806Updated last week
- Scientific computing in Lean 4☆460Updated 8 months ago
- A collection of formalized statements of conjectures in Lean.☆812Updated this week
- Site web of the Mathematical Tours☆508Updated last year
- A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond☆1,050Updated 2 months ago
- amateur translation project of Grothendieck's EGA.☆377Updated 3 months ago
- ☆547Updated 2 years ago
- Research language for array processing in the Haskell/ML family☆1,658Updated last month
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,665Updated last year
- Companion webpage for the book "Bayesian Optimization" by Roman Garnett☆931Updated last year
- Tensors and neural networks in Haskell☆1,178Updated this week