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:
- ☆312Updated 8 months ago
- ☆511Updated last month
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆163Updated 4 months ago
- Neural Networks and the Chomsky Hierarchy☆211Updated last year
- ☆890Updated 2 weeks ago
- Deep Learning for Symbolic Mathematics☆547Updated 4 years ago
- ☆538Updated 2 years ago
- A Graph Neural Network Library in Jax☆1,449Updated last year
- ☆722Updated last year
- ☆787Updated 2 weeks ago
- Turn SymPy expressions into trainable JAX expressions.☆354Updated 7 months ago
- ☆605Updated 3 weeks ago
- 100 exercises to learn JAX☆592Updated 3 years ago
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆173Updated 2 years ago
- Gaussian Processes and Statistical Decision-making in Non-Euclidean Spaces☆199Updated 3 years ago
- Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"☆768Updated 2 years ago
- Generative Flow Networks☆660Updated 2 years ago
- ☆923Updated last year
- List of resources for learning Category Theory☆270Updated 11 months ago
- ☆117Updated 2 weeks ago
- The boundary of neural network trainability is fractal☆220Updated last year
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆322Updated last year
- Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…☆181Updated 4 years ago
- Automatic gradient descent☆215Updated 2 years ago
- ☆547Updated last year
- Compositional Linear Algebra☆491Updated 3 months ago
- ☆35Updated 4 years ago
- Formal to Formal Mathematics Benchmark☆403Updated 2 years ago
- ☆195Updated 2 years ago
- ☆192Updated 4 months ago