Alternatives and similar repositories for aiwatch

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 5 months ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last month
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated this week
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• JUrban / deepmath
  deep learning for math
  ☆28Updated 6 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
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 7 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 11 months ago
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆31Updated 4 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆112Updated last year
• machine-intelligence / provability
  ☆40Updated 10 years ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆74Updated last week
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆19Updated last year
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 7 years ago
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆197Updated this week
• lio-wong / dreamcoder
  ☆73Updated 3 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated 2 weeks ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago