google-deepmind / mathematics_conjecturesLinks
☆377Updated 3 years ago
Alternatives and similar repositories for mathematics_conjectures
Users that are interested in mathematics_conjectures are comparing it to the libraries listed below
Sorting:
- Neural Networks and the Chomsky Hierarchy☆208Updated last year
- ☆312Updated 5 months ago
- ☆499Updated 3 months ago
- 100 exercises to learn JAX☆590Updated 3 years ago
- Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…☆181Updated 4 years ago
- Deep Learning for Symbolic Mathematics☆545Updated 3 years ago
- ☆783Updated 2 months ago
- A Graph Neural Network Library in Jax☆1,443Updated last year
- ☆522Updated 2 years ago
- ☆880Updated this week
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆172Updated 2 years ago
- Gaussian Processes and Statistical Decision-making in Non-Euclidean Spaces☆199Updated 3 years ago
- Notebooks for "Probabilistic Machine Learning" book☆202Updated 3 years ago
- ☆585Updated last week
- ☆175Updated last year
- ☆543Updated last year
- List of resources for learning Category Theory☆268Updated 9 months ago
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆159Updated last month
- Turn SymPy expressions into trainable JAX expressions.☆347Updated 4 months ago
- The purpose of this repo is to make it easy to get started with JAX, Flax, and Haiku. It contains my "Machine Learning with JAX" series o…☆749Updated last year
- ☆33Updated 4 years ago
- Generative Flow Networks☆649Updated 2 years ago
- PIX is an image processing library in JAX, for JAX.☆421Updated 5 months ago
- This library would form a permanent home for reusable components for deep probabilistic programming. The library would form and harness a…☆308Updated 2 months ago
- Automatic gradient descent☆210Updated 2 years ago
- ☆910Updated last year
- A library for programmatically generating equivariant layers through constraint solving☆272Updated 2 years ago
- Tools for working with the Abstraction & Reasoning Corpus☆201Updated last week
- ☆158Updated last year
- A High Level API for Deep Learning in JAX☆476Updated 2 years ago