Alternatives and similar repositories for IntroductionToAlgebraicEvaluation

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

• cambridge-mlg / jolt
  ☆11Updated 3 months ago
• etimush / ARC_NCA
  Repo for solving arc problems with an Neural Cellular Automata
  ☆15Updated 2 weeks ago
• uzulim / hades
  Fast singularity detection with kernel
  ☆33Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 10 months ago
• JiaYaobo / fenbux
  A Simple Statistical Distribution Library in JAX
  ☆16Updated last year
• MilesCranmer / pysr_scaling_laws
  You should use PySR to find scaling laws. Here's an example.
  ☆33Updated last year
• aidos-lab / TARDIS
  TARDIS: Topological Algorithms for Robust DIscovery of Singularities
  ☆42Updated last year
• geometric-intelligence / neurometry
  Quantify geometric intelligence in natural and artificial brains.
  ☆50Updated 6 months ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆70Updated 7 months ago
• akandykeller / NeuralWaveMachines
  Official Implementation of the ICML 2023 paper: "Neural Wave Machines: Learning Spatiotemporally Structured Representations with Locally …
  ☆72Updated 2 years ago
• facebookresearch / recur
  symbolic regression
  ☆39Updated 2 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• mhlr / awesome-jax
  List of awesome JAX resources
  ☆13Updated 2 years ago
• Harshs27 / neural-graphical-models
  Neural Graphical models are neural network based graphical models that offer richer representation, faster inference & sampling
  ☆29Updated last year
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• darrenjw / logreg
  Bayesian inference for a logistic regression model in various languages
  ☆42Updated last year
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆60Updated 10 months ago
• mlelarge / fitting_model_epidemiology
  Code to estimate models in epidemiology
  ☆9Updated 2 years ago
• darrenjw / fp-ssc-course
  An introduction to functional programming for scalable statistical computing
  ☆75Updated 11 months ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆54Updated 3 years ago
• WessZumino / Random-Matrix-theory-for-pedestrians
  ☆18Updated 4 years ago
• Spockuto / LSystems
  Fiddling with Lindenmayer systems
  ☆15Updated 2 years ago
• RobinKa / jaxga
  Geometric Algebra package for JAX
  ☆49Updated 3 years ago
• ActiveInferenceInstitute / ActiveBlockference
  ☆29Updated last year
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆13Updated 4 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆202Updated 3 months ago
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆26Updated last month
• mgorinova / autoreparam
  Automatic Reparameterisation of Probabilistic Programs
  ☆36Updated 4 years ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated last month