bgavran / Category_Theory_Machine_LearningLinks
List of papers studying machine learning through the lens of category theory
☆1,453Updated 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☆272Updated last year
- A curated list of topological deep learning (TDL) resources and links.☆269Updated last month
- Resources for learning Category Theory for an enthusiast☆653Updated 2 years ago
- Collection of important articles to be treated as a textbook☆833Updated 3 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆321Updated last year
- ☆377Updated 4 years ago
- LLMs as Copilots for Theorem Proving in Lean☆1,192Updated 3 weeks ago
- A curated list of awesome Category Theory resources.☆126Updated 7 months ago
- Machine Learning with Symbolic Tensors☆352Updated 3 weeks ago
- The collected works of F. W. Lawvere☆368Updated last year
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆313Updated last year
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,830Updated 5 months ago
- a categorical deep learning compiler☆205Updated 2 months ago
- Scientific computing in Lean 4☆439Updated 6 months ago
- A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond☆1,040Updated 2 weeks ago
- ☆460Updated last year
- List of papers and other resources at the intersection of Category Theory and NLP.☆54Updated 2 years ago
- Curated list of interactive ML demos☆356Updated 8 months ago
- amateur translation project of Grothendieck's EGA.☆371Updated last month
- Landmark Papers in Machine Learning☆686Updated 4 months ago
- A project to map out the relations between different equational theories of Magmas.☆458Updated this week
- Companion webpage for the book "Bayesian Optimization" by Roman Garnett☆927Updated last year
- ☆511Updated 2 months ago
- Graph Machine Learning course, Xavier Bresson, 2023☆614Updated last year
- ☆178Updated 2 years ago
- A collection of formalized statements of conjectures in Lean.☆726Updated this week
- An introduction to theorem proving in Lean for the impatient.☆306Updated last week
- Tensors and neural networks in Haskell☆1,170Updated last week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆480Updated 3 weeks ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆239Updated 8 months ago