google-deepmind / mathematics_conjecturesLinks
☆377Updated 4 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:
- ☆511Updated last month
- ☆312Updated 9 months ago
- Neural Networks and the Chomsky Hierarchy☆212Updated last year
- Deep Learning for Symbolic Mathematics☆549Updated 4 years ago
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆163Updated 5 months ago
- Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"☆768Updated 2 years ago
- ☆789Updated 3 weeks ago
- Gaussian Processes and Statistical Decision-making in Non-Euclidean Spaces☆199Updated 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
- ☆542Updated 2 years ago
- A Graph Neural Network Library in Jax☆1,454Updated last year
- This library would form a permanent home for reusable components for deep probabilistic programming. The library would form and harness a…☆311Updated 5 months ago
- Hierarchical Associative Memory User Experience☆105Updated last month
- 100 exercises to learn JAX☆594Updated 3 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆323Updated last year
- ☆35Updated 4 years ago
- Turn SymPy expressions into trainable JAX expressions.☆355Updated 7 months ago
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆174Updated 2 years ago
- Code for Parameter Prediction for Unseen Deep Architectures (NeurIPS 2021)☆492Updated 2 years ago
- ☆178Updated 2 years ago
- A platform for managing machine learning experiments☆884Updated 2 months ago
- Automatic gradient descent☆215Updated 2 years ago
- ☆899Updated 3 weeks ago
- Cockpit: A Practical Debugging Tool for Training Deep Neural Networks☆485Updated 3 years ago
- PIX is an image processing library in JAX, for JAX.☆430Updated 9 months ago
- ☆608Updated this week
- ☆548Updated last year
- Compositional Linear Algebra☆503Updated 4 months ago
- ☆729Updated last year
- CLU lets you write beautiful training loops in JAX.☆360Updated 5 months ago