Alternatives and similar repositories for mathematics_conjectures

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

• top-quarks / ARC-solution
  Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge
  ☆157Updated 4 years ago
• MilesCranmer / symbolic_deep_learning
  Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"
  ☆753Updated last year
• google-deepmind / enn
  ☆312Updated 3 months ago
• google-deepmind / jraph
  A Graph Neural Network Library in Jax
  ☆1,433Updated last year
• topnn / topnn_framework
  ☆31Updated 4 years ago
• nnaisense / evotorch
  Advanced evolutionary computation library built directly on top of PyTorch, created at NNAISENSE.
  ☆1,062Updated 3 weeks ago
• vopani / jaxton
  100 exercises to learn JAX
  ☆579Updated 2 years ago
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆363Updated last year
• google-deepmind / xmanager
  A platform for managing machine learning experiments
  ☆853Updated 2 weeks ago
• facebookresearch / MathsFromExamples
  Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…
  ☆180Updated 3 years ago
• mfinzi / equivariant-MLP
  A library for programmatically generating equivariant layers through constraint solving
  ☆268Updated 2 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆255Updated 6 months ago
• google-deepmind / clrs
  ☆485Updated last month
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆205Updated last year
• google-deepmind / tracr
  ☆534Updated last year
• ellisk42 / ec
  ☆514Updated 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…
  ☆305Updated last week
• aterenin / phdthesis
  Gaussian Processes and Statistical Decision-making in Non-Euclidean Spaces
  ☆198Updated 3 years ago
• openai / lean-gym
  ☆186Updated 2 years ago
• jxbz / agd
  Automatic gradient descent
  ☆207Updated last year
• google-deepmind / neural_testbed
  ☆192Updated last month
• SJ001 / AI-Feynman
  ☆686Updated 10 months ago
• lrnzgiusti / awesome-topological-deep-learning
  A curated list of topological deep learning (TDL) resources and links.
  ☆248Updated 2 months ago
• RobertTLange / evosax
  Evolution Strategies in JAX 🦎
  ☆625Updated last week
• google-deepmind / chex
  ☆855Updated 2 weeks ago
• poets-ai / elegy
  A High Level API for Deep Learning in JAX
  ☆475Updated 2 years ago
• bhoov / hamux
  Hierarchical Associative Memory User Experience
  ☆100Updated last year
• awesome-tnns / awesome-tnns
  ☆174Updated last year
• google-deepmind / distrax
  ☆572Updated 2 weeks ago
• google / jaxopt
  Hardware accelerated, batchable and differentiable optimizers in JAX.
  ☆973Updated last month