riceissa / aiwatch

Related projects ⓘ

Alternatives and complementary repositories for aiwatch

• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆24Updated 6 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated 10 months ago
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆12Updated 3 months ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• SamotsvetyForecasting / optimal-scoring
  This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…
  ☆18Updated 2 years ago
• rethinkpriorities / squigglepy
  Squiggle programming language for intuitive probabilistic estimation features in Python
  ☆65Updated 2 weeks ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 4 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 weeks ago
• oughtinc / ergo
  A Python library for integrating model-based and judgmental forecasting
  ☆108Updated 2 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆24Updated 5 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆28Updated 4 months ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• g-leech / argmin-gravitas
  a simulacrum standing in place of Gavin Leech
  ☆14Updated last week
• machine-intelligence / provability
  ☆35Updated 9 years ago
• moirage / alignment-research-dataset
  A dataset of alignment research and code to reproduce it
  ☆69Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆37Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆35Updated 8 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• dennybritz / probability-monads
  ☆10Updated last year
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 4 months ago
• quantified-uncertainty / squiggle
  An estimation language
  ☆155Updated this week
• CatherineWong / dreamcoder
  ☆53Updated 2 years ago
• keyonvafa / world-model-evaluation
  ☆49Updated last week
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆53Updated 3 years ago