google-deepmind / mathematics_conjecturesLinks
☆374Updated 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:
- ☆312Updated 4 months ago
- Neural Networks and the Chomsky Hierarchy☆207Updated last year
- ☆490Updated 2 months ago
- Deep Learning for Symbolic Mathematics☆541Updated 3 years ago
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆158Updated last week
- ☆780Updated last month
- ☆865Updated last week
- Notebooks for "Probabilistic Machine Learning" book☆203Updated 3 years ago
- A Graph Neural Network Library in Jax☆1,435Updated last year
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆316Updated 10 months ago
- 100 exercises to learn JAX☆583Updated 3 years ago
- ☆901Updated last year
- ☆579Updated last week
- Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…☆181Updated 3 years ago
- A platform for managing machine learning experiments☆859Updated last month
- Generative Flow Networks☆643Updated 2 years ago
- ☆520Updated 2 years ago
- ☆192Updated 3 weeks ago
- ☆539Updated last year
- ☆696Updated last year
- Turn SymPy expressions into trainable JAX expressions.☆343Updated 2 months ago
- ☆157Updated last year
- PIX is an image processing library in JAX, for JAX.☆420Updated 4 months ago
- Betty: an automatic differentiation library for generalized meta-learning and multilevel optimization☆338Updated last year
- Automatic gradient descent☆208Updated 2 years 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…☆743Updated last year
- Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"☆757Updated last year
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆171Updated 2 years ago
- Cockpit: A Practical Debugging Tool for Training Deep Neural Networks☆480Updated 3 years ago
- Compositional Linear Algebra☆478Updated last month