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:
- Deep Learning for Symbolic Mathematics☆547Updated 4 years ago
- Neural Networks and the Chomsky Hierarchy☆211Updated last year
- ☆311Updated 7 months ago
- ☆509Updated 2 weeks ago
- ☆887Updated 2 months ago
- ☆785Updated 2 months ago
- ☆602Updated this week
- ☆920Updated last year
- 100 exercises to learn JAX☆592Updated 3 years ago
- Advanced evolutionary computation library built directly on top of PyTorch, created at NNAISENSE.☆1,095Updated 2 weeks ago
- Turn SymPy expressions into trainable JAX expressions.☆352Updated 6 months ago
- Automatic gradient descent☆215Updated 2 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
- ☆536Updated 2 years ago
- Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"☆765Updated last year
- Gaussian Processes and Statistical Decision-making in Non-Euclidean Spaces☆199Updated 3 years ago
- List of resources for learning Category Theory☆271Updated 11 months ago
- ☆548Updated last year
- This library would form a permanent home for reusable components for deep probabilistic programming. The library would form and harness a…☆309Updated 4 months ago
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆247Updated 5 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆320Updated last year
- Lightweight Hyperparameter Optimization 🚂☆150Updated last year
- MLCommons Algorithmic Efficiency is a benchmark and competition measuring neural network training speedups due to algorithmic improvement…☆400Updated last week
- Cockpit: A Practical Debugging Tool for Training Deep Neural Networks☆484Updated 3 years ago
- Evolution Strategies in JAX 🦎☆674Updated last month
- Hundreds of strange attractors☆496Updated last month
- BackPACK - a backpropagation package built on top of PyTorch which efficiently computes quantities other than the gradient.☆595Updated 10 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…☆760Updated last year
- The boundary of neural network trainability is fractal☆217Updated last year
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆173Updated 2 years ago