google-deepmind / mathematics_conjecturesLinks
☆375Updated 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 5 months ago
- ☆496Updated 3 months ago
- Neural Networks and the Chomsky Hierarchy☆207Updated last year
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆158Updated 3 weeks ago
- Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"☆759Updated last year
- ☆783Updated 2 months ago
- 100 exercises to learn JAX☆587Updated 3 years ago
- Turn SymPy expressions into trainable JAX expressions.☆346Updated 3 months ago
- This library would form a permanent home for reusable components for deep probabilistic programming. The library would form and harness a…☆308Updated last month
- ☆871Updated last week
- Gaussian Processes and Statistical Decision-making in Non-Euclidean Spaces☆199Updated 3 years ago
- ☆540Updated last year
- Deep Learning for Symbolic Mathematics☆545Updated 3 years ago
- A Graph Neural Network Library in Jax☆1,439Updated last year
- Hierarchical Associative Memory User Experience☆103Updated 3 weeks ago
- Automatic gradient descent☆208Updated 2 years ago
- Generative Flow Networks☆644Updated 2 years ago
- Code for our NeurIPS 2022 paper☆369Updated 2 years ago
- ☆908Updated last year
- MLCommons Algorithmic Efficiency is a benchmark and competition measuring neural network training speedups due to algorithmic improvement…☆389Updated this week
- ☆32Updated 4 years ago
- Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…☆181Updated 3 years ago
- ☆192Updated last month
- Notebooks for "Probabilistic Machine Learning" book☆203Updated 3 years ago
- ☆520Updated 2 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆317Updated 10 months ago
- A library for programmatically generating equivariant layers through constraint solving☆270Updated 2 years ago
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆172Updated 2 years ago
- Tools for working with the Abstraction & Reasoning Corpus☆197Updated last year
- A 1D analogue of the MNIST dataset for measuring spatial biases and answering Science of Deep Learning questions.☆227Updated 9 months ago