bgavran / Category_Theory_Machine_LearningLinks
List of papers studying machine learning through the lens of category theory
☆1,466Updated 2 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☆272Updated last year
- A curated list of topological deep learning (TDL) resources and links.☆268Updated 2 months ago
- Resources for learning Category Theory for an enthusiast☆654Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆326Updated last year
- Machine Learning with Symbolic Tensors☆352Updated last month
- A curated list of awesome Category Theory resources.☆126Updated 8 months ago
- ☆379Updated 4 years ago
- LLMs as Copilots for Theorem Proving in Lean☆1,197Updated last week
- A framework for applied category theory in the Julia language☆686Updated last week
- Collection of important articles to be treated as a textbook☆837Updated 4 months ago
- a categorical deep learning compiler☆206Updated 3 months ago
- amateur translation project of Grothendieck's EGA.☆370Updated 2 months ago
- The collected works of F. W. Lawvere☆368Updated last year
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,667Updated last year
- Scientific computing in Lean 4☆445Updated 6 months ago
- Tensors and neural networks in Haskell☆1,174Updated this week
- List of papers and other resources at the intersection of Category Theory and NLP.☆54Updated 2 years ago
- ☆510Updated 2 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆774Updated this week
- ☆460Updated last year
- Graph Machine Learning course, Xavier Bresson, 2023☆614Updated last year
- Lean theorem proving interface which feels like pen-and-paper proofs.☆484Updated 2 weeks ago
- The user home repository for the Mathematics in Lean tutorial.☆445Updated 4 months ago
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,831Updated 6 months ago
- Landmark Papers in Machine Learning☆699Updated 4 months ago
- Research language for array processing in the Haskell/ML family☆1,654Updated 11 months ago
- An introduction to theorem proving in Lean for the impatient.☆311Updated 3 weeks ago
- Companion webpage for the book "Bayesian Optimization" by Roman Garnett☆930Updated last year
- ☆178Updated 2 years ago
- Tool for data extraction and interacting with Lean programmatically.☆741Updated 3 months ago