Alternatives and similar repositories for IntroductionToAlgebraicEvaluation

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

• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 4 months ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆70Updated 2 years ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆59Updated 3 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆118Updated last year
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆18Updated last year
• AlexKontorovich / PrimeNumberTheoremAnd
  Blueprint for the PNT+ Project
  ☆255Updated this week
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆126Updated 4 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated last year
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆53Updated 7 months ago
• mayabenowitz / Origins
  A minimalistic-bootstrap to find a quantum theory of the cosmos.
  ☆106Updated last year
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆470Updated this week
• teorth / symmetric_project
  ☆94Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 4 years ago
• facebookresearch / recur
  symbolic regression
  ☆40Updated 3 years ago
• mseri / AoM
  Lecture notes of the course Analysis On Manifolds
  ☆22Updated 2 weeks ago
• math-inc / strongpnt
  ☆292Updated 4 months ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• adamnemecek / traceoid.ai
  ☆111Updated last year
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆116Updated last year
• JiaYaobo / fenbux
  A Simple Statistical Distribution Library in JAX
  ☆16Updated last year
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆280Updated last year
• tangle-software / tangles
  Tangle Software Library
  ☆36Updated last year
• ESHyperscale / nano-egg
  Evolution Pretraining Fully in Int Formats
  ☆136Updated last month
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆149Updated 5 months ago
• aidos-lab / TARDIS
  TARDIS: Topological Algorithms for Robust DIscovery of Singularities
  ☆44Updated 2 years ago
• cambridge-mlg / jolt
  ☆16Updated 5 months ago
• profConradi / eigenfish
  # Eigenfish Ideas by the wonderful ["Computational Discovery on Jupyter"](https://computational-discovery-on-jupyter.github.io/Computatio…
  ☆172Updated 11 months ago
• mariainesdff / ai_math_tcs
  An introduction to theorem proving in Lean for the impatient.
  ☆19Updated 10 months ago