bgavran / Category_Theory_Machine_LearningLinks
List of papers studying machine learning through the lens of category theory
☆1,420Updated 3 weeks 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
Sorting:
- List of resources for learning Category Theory☆268Updated 9 months ago
- ☆377Updated 3 years ago
- Machine Learning with Symbolic Tensors☆327Updated 3 months ago
- Collection of important articles to be treated as a textbook☆801Updated this week
- A curated list of topological deep learning (TDL) resources and links.☆255Updated 2 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆286Updated 8 months ago
- LLMs as Copilots for Theorem Proving in Lean☆1,154Updated 2 weeks ago
- A curated list of awesome Category Theory resources.☆122Updated 4 months ago
- ☆447Updated 10 months ago
- a categorical deep learning compiler☆203Updated 6 months ago
- Resources for learning Category Theory for an enthusiast☆635Updated 2 years ago
- ☆499Updated 3 months ago
- A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond☆1,001Updated 6 months ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆54Updated 2 years ago
- The user home repository for the Mathematics in Lean tutorial.☆405Updated 2 weeks ago
- The Python toolkit for computing with string diagrams.☆383Updated 2 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆661Updated this week
- amateur translation project of Grothendieck's EGA.☆356Updated 10 months ago
- Curated list of interactive ML demos☆353Updated 5 months ago
- Landmark Papers in Machine Learning☆668Updated 2 weeks ago
- ☆175Updated last year
- A project to map out the relations between different equational theories of Magmas.☆412Updated last week
- Graph Machine Learning course, Xavier Bresson, 2023☆614Updated last year
- JAX - A curated list of resources https://github.com/google/jax☆1,909Updated 6 months ago
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,812Updated 2 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆225Updated 5 months ago
- Scientific computing in Lean 4☆426Updated 2 months ago
- A curated list of topological data analysis (TDA) resources and links.☆204Updated 11 months ago
- About A collection of AWESOME things about information geometry Topics☆165Updated last year
- Compositional Linear Algebra☆490Updated 3 weeks ago