Alternatives and similar repositories for mathematics_conjectures:

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

• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆342Updated last year
• google-deepmind / enn
  ☆307Updated 3 weeks ago
• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆535Updated 3 years ago
• google-deepmind / chex
  ☆838Updated last week
• google-deepmind / clrs
  ☆476Updated last week
• openai / lean-gym
  ☆182Updated 2 years ago
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆204Updated 11 months ago
• topnn / topnn_framework
  ☆31Updated 4 years ago
• vopani / jaxton
  100 exercises to learn JAX
  ☆576Updated 2 years ago
• MilesCranmer / symbolic_deep_learning
  Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"
  ☆745Updated last year
• tech-srl / RASP
  An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
  ☆304Updated 6 months ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆250Updated 4 months ago
• probml / probml-notebooks
  Notebooks for "Probabilistic Machine Learning" book
  ☆202Updated 2 years ago
• GFNOrg / gflownet
  Generative Flow Networks
  ☆626Updated 2 years ago
• aterenin / phdthesis
  Gaussian Processes and Statistical Decision-making in Non-Euclidean Spaces
  ☆198Updated 2 years ago
• mfinzi / equivariant-MLP
  A library for programmatically generating equivariant layers through constraint solving
  ☆266Updated last year
• google-deepmind / jraph
  A Graph Neural Network Library in Jax
  ☆1,413Updated last year
• patrick-kidger / sympy2jax
  Turn SymPy expressions into trainable JAX expressions.
  ☆331Updated 2 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…
  ☆305Updated 2 weeks ago
• awf / functional-transformer
  A pure-functional implementation of a machine learning transformer model in Python/JAX
  ☆177Updated last month
• SJ001 / AI-Feynman
  ☆673Updated 8 months ago
• mle-infrastructure / mle-hyperopt
  Lightweight Hyperparameter Optimization 🚂
  ☆145Updated 7 months ago
• mlcommons / algorithmic-efficiency
  MLCommons Algorithmic Efficiency is a benchmark and competition measuring neural network training speedups due to algorithmic improvement…
  ☆370Updated this week
• google-deepmind / dm_pix
  PIX is an image processing library in JAX, for JAX.
  ☆412Updated 3 weeks ago
• awesome-tnns / awesome-tnns
  ☆174Updated last year
• uclnlp / torch-imle
  Implicit MLE: Backpropagating Through Discrete Exponential Family Distributions
  ☆257Updated last year
• google-deepmind / tracr
  ☆525Updated last year
• bhoov / hamux
  Hierarchical Associative Memory User Experience
  ☆100Updated last year
• kach / gradient-descent-the-ultimate-optimizer
  Code for our NeurIPS 2022 paper
  ☆365Updated 2 years ago
• bgavran / Category_Theory_Machine_Learning
  List of papers studying machine learning through the lens of category theory
  ☆1,344Updated 3 weeks ago