Algorithmic-Alignment-Lab / contracts
Formal Contracts for Multi-Agent Reinforcement Learning
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for contracts
- ☆122Updated 2 weeks ago
- ☆44Updated last month
- Harmonic Datasets☆32Updated 4 months ago
- Code for minimum-entropy coupling.☆30Updated 4 months ago
- Sparse and discrete interpretability tool for neural networks☆55Updated 9 months ago
- ☆73Updated 4 months ago
- ☆30Updated 2 weeks ago
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆57Updated 2 months ago
- Evaluation of neuro-symbolic engines☆33Updated 3 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆93Updated 3 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆22Updated last week
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆128Updated last month
- Code release for "Debating with More Persuasive LLMs Leads to More Truthful Answers"☆84Updated 8 months ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆59Updated 4 months ago
- Language-annotated Abstraction and Reasoning Corpus☆78Updated last year
- ☆24Updated 7 months ago
- ☆107Updated this week
- ☆70Updated last year
- ☆44Updated this week
- Intrinsic Motivation from Artificial Intelligence Feedback☆119Updated last year
- Steering vectors for transformer language models in Pytorch / Huggingface☆65Updated last month
- ☆48Updated 9 months ago
- ☆101Updated 3 months ago
- Bootstrapping ARC☆65Updated this week
- Contains random samples referenced in the paper "Sleeper Agents: Training Robustly Deceptive LLMs that Persist Through Safety Training".☆84Updated 8 months ago
- A mechanistic approach for understanding and detecting factual errors of large language models.☆39Updated 4 months ago
- Code for reproducing our paper "Not All Language Model Features Are Linear"☆61Updated last week
- Dataset and benchmark for assessing LLMs in translating natural language descriptions of planning problems into PDDL☆43Updated last month
- This is the official repository for all the code of TheoremLlama☆32Updated last month
- Code for the ICLR 2024 paper "How to catch an AI liar: Lie detection in black-box LLMs by asking unrelated questions"☆62Updated 5 months ago