Alternatives and similar repositories for mathematics_conjectures:

Users that are interested in mathematics_conjectures are comparing it to the libraries listed below

• google / learned_optimization
  ☆776Updated 2 weeks ago
• MilesCranmer / symbolic_deep_learning
  Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"
  ☆749Updated last year
• google-deepmind / chex
  ☆845Updated 3 weeks ago
• GFNOrg / gflownet
  Generative Flow Networks
  ☆630Updated 2 years ago
• nnaisense / evotorch
  Advanced evolutionary computation library built directly on top of PyTorch, created at NNAISENSE.
  ☆1,054Updated 2 weeks ago
• google-deepmind / distrax
  ☆565Updated last week
• patrick-kidger / sympy2jax
  Turn SymPy expressions into trainable JAX expressions.
  ☆334Updated 3 months ago
• RobertTLange / evosax
  Evolution Strategies in JAX 🦎
  ☆602Updated 3 weeks ago
• google / evojax
  ☆897Updated 9 months ago
• google-deepmind / jraph
  A Graph Neural Network Library in Jax
  ☆1,425Updated last year
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆205Updated last year
• google-deepmind / optax
  Optax is a gradient processing and optimization library for JAX.
  ☆1,868Updated this week
• google / jaxopt
  Hardware accelerated, batchable and differentiable optimizers in JAX.
  ☆960Updated last week
• gordicaleksa / get-started-with-JAX
  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…
  ☆721Updated last year
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆347Updated last year
• google-deepmind / clrs
  ☆480Updated last month
• google-deepmind / enn
  ☆310Updated last month
• ellisk42 / ec
  ☆508Updated last year
• facebookincubator / flowtorch
  This library would form a permanent home for reusable components for deep probabilistic programming. The library would form and harness a…
  ☆306Updated last month
• google-deepmind / rlax
  ☆1,309Updated last week
• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆535Updated 3 years ago
• n2cholas / awesome-jax
  JAX - A curated list of resources https://github.com/google/jax
  ☆1,788Updated 2 months ago
• google-deepmind / dm-haiku
  JAX-based neural network library
  ☆3,013Updated this week
• facebookresearch / ppuda
  Code for Parameter Prediction for Unseen Deep Architectures (NeurIPS 2021)
  ☆487Updated last year
• openai / lean-gym
  ☆184Updated 2 years ago
• mlcommons / algorithmic-efficiency
  MLCommons Algorithmic Efficiency is a benchmark and competition measuring neural network training speedups due to algorithmic improvement…
  ☆375Updated last week
• vopani / jaxton
  100 exercises to learn JAX
  ☆576Updated 2 years ago
• wilson-labs / cola
  Compositional Linear Algebra
  ☆473Updated 3 weeks ago
• google / ml_collections
  ML Collections is a library of Python Collections designed for ML use cases.
  ☆945Updated this week
• top-quarks / ARC-solution
  Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge
  ☆156Updated 4 years ago