bgavran / Category_Theory_Machine_LearningLinks
List of papers studying machine learning through the lens of category theory
☆1,388Updated 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☆255Updated 6 months ago
- A curated list of topological deep learning (TDL) resources and links.☆249Updated 2 months ago
- The Python toolkit for computing with string diagrams.☆378Updated this week
- List of papers and other resources at the intersection of Category Theory and NLP.☆53Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- Machine Learning with Symbolic Tensors☆278Updated last week
- A curated list of awesome Category Theory resources.☆115Updated last month
- A Graph Neural Network Library in Jax☆1,433Updated last year
- Resources for learning Category Theory for an enthusiast☆625Updated 2 years ago
- A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond☆977Updated 3 months ago
- The collected works of F. W. Lawvere☆352Updated 9 months ago
- A framework for applied category theory in the Julia language☆657Updated 2 weeks ago
- ☆374Updated 3 years ago
- JAX - A curated list of resources https://github.com/google/jax☆1,823Updated 3 months ago
- a categorical deep learning compiler☆202Updated 3 months ago
- Curated list of interactive ML demos☆351Updated 2 months ago
- Collection of important articles to be treated as a textbook☆753Updated last week
- Compositional Linear Algebra☆474Updated last week
- Graph Machine Learning course, Xavier Bresson, 2023☆613Updated 9 months ago
- ☆433Updated 7 months ago
- Important concepts in numerical linear algebra and related areas☆759Updated last year
- Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/☆2,381Updated 2 weeks ago
- Research language for array processing in the Haskell/ML family☆1,620Updated 4 months ago
- An interactive theorem prover for string diagrams☆115Updated 7 months ago
- Scientific computing in Lean 4☆400Updated last week
- Notes for the Numerics of Machine Learning Lecture Course at the University of Tübingen☆204Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆261Updated this week
- An interactive exploration of Transformer programming.☆264Updated last year
- Puzzles for exploring transformers☆348Updated 2 years ago
- AutoBound automatically computes upper and lower bounds on functions.☆359Updated 11 months ago