oughtinc / hch

Related projects ⓘ

Alternatives and complementary repositories for hch

• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆24Updated 6 years ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 2 years ago
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆37Updated last year
• bshlgrs / consciousness
  A software agent illustrating some features of an illusionist account of consciousness
  ☆15Updated 7 years ago
• jbkjr / train-procgen-pytorch
  Pytorch implementation on OpenAI's Procgen ppo-baseline, built from scratch.
  ☆14Updated 6 months ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 4 years ago
• TomFrederik / unseal
  Mechanistic Interpretability for Transformer Models
  ☆49Updated 2 years ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆51Updated 4 years ago
• moirage / alignment-research-dataset
  A dataset of alignment research and code to reproduce it
  ☆69Updated last year
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆21Updated this week
• redwoodresearch / rust_circuit_public
  ☆61Updated last year
• alexander-turner / attainable-utility-preservation
  ☆12Updated 3 years ago
• quantified-uncertainty / ai-safety-papers
  ☆20Updated 3 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆53Updated 3 months ago
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆28Updated 3 years ago
• oughtinc / primer
  Factored Cognition Primer: How to write compositional language model programs
  ☆48Updated last year
• aidangomez / weblm
  Drive a browser with Cohere
  ☆72Updated last year
• rethinkpriorities / squigglepy
  Squiggle programming language for intuitive probabilistic estimation features in Python
  ☆65Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• piantado / Fleet
  ☆60Updated last month
• benlipkin / probsem
  Probabilistic LLM evaluations. [CogSci2023; ACL2023]
  ☆72Updated 3 months ago
• StampyAI / stampy-ui
  AI Safety Q&A web frontend
  ☆35Updated this week
• koayon / atp_star
  PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)
  ☆14Updated 7 months ago
• minimaxir / gpt-j-6b-experiments
  Test prompts for GPT-J-6B and the resulting AI-generated texts
  ☆53Updated 3 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆12Updated 2 years ago
• redwoodresearch / interp
  Redwood Research's transformer interpretability tools
  ☆12Updated 2 years ago
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆118Updated 2 years ago
• neoneye / ARC-Interactive
  Enjoy puzzle-solving directly in your browser.
  ☆19Updated last week
• EleutherAI / magiCARP
  One stop shop for all things carp
  ☆59Updated 2 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆64Updated 7 months ago