Alternatives and similar repositories for hch

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

• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 6 years ago
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆30Updated 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
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆39Updated 2 years ago
• moirage / alignment-research-dataset
  A dataset of alignment research and code to reproduce it
  ☆77Updated 2 years ago
• piantado / Fleet
  ☆61Updated 2 months ago
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆121Updated 2 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated 10 months ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• oughtinc / primer
  Factored Cognition Primer: How to write compositional language model programs
  ☆49Updated 2 years ago
• UCSD-PL / proverbot9001
  ☆43Updated 5 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• socketteer / hallucinator
  botttom-up vr redux
  ☆24Updated 3 years ago
• quantified-uncertainty / ai-safety-papers
  ☆21Updated 3 years ago
• tech-srl / RASP
  An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
  ☆316Updated 10 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 8 months ago
• redwoodresearch / rust_circuit_public
  ☆63Updated 2 years ago
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆23Updated this week
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆80Updated this week
• alexander-turner / TurnTrout.com
  A blog on AI, personal development, and living a good life.
  ☆18Updated this week
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• bshlgrs / consciousness
  A software agent illustrating some features of an illusionist account of consciousness
  ☆15Updated 7 years ago
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆123Updated 3 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆77Updated last year
• StampyAI / stampy
  A Discord bot for the Robert Miles AI server
  ☆40Updated 4 months ago
• namedtensor / notation
  ☆108Updated 2 years ago
• R0bk / Transpector
  Visual Transformer Mechanistic Analysis Tool
  ☆34Updated 2 years ago
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆16Updated 3 months ago
• riveSunder / yuca
  Your Universal Cellular Automata
  ☆13Updated last month