oughtinc / hch
Humans consulting HCH
☆10Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for hch
- Command-line recursive question-answering with immutable contexts and explicit data store☆24Updated 6 years ago
- a writeup on some experiments on a sequence model for chess games☆28Updated 3 years ago
- A web app for recursive question-answering with pointers☆37Updated last year
- An environment for learning formal mathematical reasoning from scratch☆52Updated 2 months ago
- ☆12Updated 3 years ago
- A dataset of alignment research and code to reproduce it☆68Updated last year
- ☆9Updated 4 years ago
- Factored Cognition Primer: How to write compositional language model programs☆48Updated last year
- Language-annotated Abstraction and Reasoning Corpus☆78Updated last year
- Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf☆27Updated 7 years ago
- ☆60Updated 3 weeks ago
- A software agent illustrating some features of an illusionist account of consciousness☆15Updated 7 years ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆21Updated this week
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 2 years ago
- PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)☆13Updated 6 months ago
- An alternative frontend for LessWrong 2.0☆63Updated last week
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆13Updated 4 months ago
- Mechanistic Interpretability for Transformer Models☆49Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆12Updated 2 months ago
- ☆51Updated 2 years ago
- ☆60Updated last year
- ☆20Updated 3 years ago
- A scalable abstraction learning library☆73Updated 11 months ago
- Materials for ConceptARC paper☆76Updated this week
- One stop shop for all things carp☆58Updated 2 years ago
- Enjoy puzzle-solving directly in your browser.☆18Updated this week
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 10 months ago
- ☆73Updated 4 months ago
- Dyna built on R-exprs (First Prototype)☆12Updated 2 years ago
- A programming language for formal/informal computation.☆40Updated 4 months ago