Alternatives and similar repositories for mathematics_conjectures

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

• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆212Updated last year
• google-deepmind / enn
  ☆312Updated 10 months ago
• google-deepmind / clrs
  ☆511Updated last week
• MilesCranmer / symbolic_deep_learning
  Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"
  ☆771Updated 2 years ago
• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆551Updated 4 years ago
• google / learned_optimization
  ☆792Updated last month
• top-quarks / ARC-solution
  Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge
  ☆163Updated 5 months ago
• ellisk42 / ec
  ☆542Updated 2 years ago
• facebookresearch / MathsFromExamples
  Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…
  ☆181Updated 4 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆274Updated last year
• google-deepmind / tracr
  ☆550Updated last year
• KindXiaoming / BIMT
  Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.
  ☆174Updated 2 years ago
• google-deepmind / distrax
  ☆613Updated 3 weeks ago
• GFNOrg / gflownet
  Generative Flow Networks
  ☆663Updated 2 years ago
• patrick-kidger / sympy2jax
  Turn SymPy expressions into trainable JAX expressions.
  ☆356Updated 8 months ago
• vopani / jaxton
  100 exercises to learn JAX
  ☆596Updated 3 years ago
• SJ001 / AI-Feynman
  ☆733Updated last year
• jxbz / agd
  Automatic gradient descent
  ☆216Updated 2 years ago
• probml / probml-notebooks
  Notebooks for "Probabilistic Machine Learning" book
  ☆202Updated 3 years ago
• mxbi / arckit
  Tools for working with the Abstraction & Reasoning Corpus
  ☆212Updated 4 months ago
• google-deepmind / jraph
  A Graph Neural Network Library in Jax
  ☆1,461Updated last year
• aterenin / phdthesis
  Gaussian Processes and Statistical Decision-making in Non-Euclidean Spaces
  ☆199Updated 3 years ago
• bhoov / hamux
  Hierarchical Associative Memory User Experience
  ☆105Updated last month
• nnaisense / evotorch
  Advanced evolutionary computation library built directly on top of PyTorch, created at NNAISENSE.
  ☆1,112Updated 3 weeks ago
• awesome-tnns / awesome-tnns
  ☆178Updated 2 years ago
• tech-srl / RASP
  An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
  ☆323Updated last year
• google / evojax
  ☆929Updated last year
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆409Updated 2 years ago
• google-deepmind / neural_testbed
  ☆192Updated 6 months ago
• google-deepmind / chex
  ☆913Updated last week