Alternatives and similar repositories for aiwatch

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

• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated this week
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 6 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆39Updated 9 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 8 months ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• 51alg / TerpreT
  ☆43Updated 7 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆81Updated last year
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 3 weeks ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆27Updated last year
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆30Updated 4 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 10 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago