Alternatives and similar repositories for mathematics_conjectures:

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

• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆535Updated 3 years ago
• google-deepmind / enn
  ☆301Updated 2 months ago
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆327Updated last year
• google-deepmind / jraph
  A Graph Neural Network Library in Jax
  ☆1,402Updated 11 months ago
• MilesCranmer / symbolic_deep_learning
  Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"
  ☆744Updated last year
• google-deepmind / distrax
  ☆548Updated 2 months ago
• mfinzi / equivariant-MLP
  A library for programmatically generating equivariant layers through constraint solving
  ☆264Updated last year
• patrick-kidger / sympy2jax
  Turn SymPy expressions into trainable JAX expressions.
  ☆329Updated 3 weeks ago
• google-deepmind / chex
  ☆823Updated last week
• probml / probml-notebooks
  Notebooks for "Probabilistic Machine Learning" book
  ☆202Updated 2 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆245Updated 2 months ago
• google-deepmind / clrs
  ☆469Updated 3 weeks ago
• williamgilpin / dysts
  Hundreds of strange attractors
  ☆436Updated last week
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆201Updated 10 months ago
• facebookincubator / flowtorch
  This library would form a permanent home for reusable components for deep probabilistic programming. The library would form and harness a…
  ☆306Updated 2 months ago
• google / CommonLoopUtils
  CLU lets you write beautiful training loops in JAX.
  ☆333Updated 2 weeks ago
• google-deepmind / dm_pix
  PIX is an image processing library in JAX, for JAX.
  ☆402Updated this week
• wilson-labs / cola
  Compositional Linear Algebra
  ☆462Updated 2 weeks ago
• jxbz / agd
  Automatic gradient descent
  ☆207Updated last year
• jacobjinkelly / easy-neural-ode
  Code for the paper "Learning Differential Equations that are Easy to Solve"
  ☆275Updated 3 years ago
• google-deepmind / jaxline
  ☆153Updated last year
• facebookresearch / MathsFromExamples
  Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…
  ☆177Updated 3 years ago
• patrick-kidger / NeuralCDE
  Code for "Neural Controlled Differential Equations for Irregular Time Series" (Neurips 2020 Spotlight)
  ☆635Updated 2 years ago
• google-deepmind / kfac-jax
  Second Order Optimization and Curvature Estimation with K-FAC in JAX.
  ☆263Updated 2 weeks ago
• ellisk42 / ec
  ☆502Updated last year
• lrnzgiusti / awesome-topological-deep-learning
  A curated list of topological deep learning (TDL) resources and links.
  ☆232Updated 2 months ago
• HMUNACHI / nanodl
  A Jax-based library for designing and training transformer models from scratch.
  ☆281Updated 5 months ago
• nnaisense / evotorch
  Advanced evolutionary computation library built directly on top of PyTorch, created at NNAISENSE.
  ☆1,038Updated this week
• awesome-tnns / awesome-tnns
  ☆171Updated last year
• google-deepmind / neural_testbed
  ☆191Updated 9 months ago