Algorithmic-Alignment-Lab / contracts
Formal Contracts for Multi-Agent Reinforcement Learning
☆16Updated last year
Alternatives and similar repositories for contracts:
Users that are interested in contracts are comparing it to the libraries listed below
- ☆131Updated 5 months ago
- ☆53Updated 6 months ago
- Interpreting how transformers simulate agents performing RL tasks☆78Updated last year
- ☆85Updated 9 months ago
- Skill Design From AI Feedback☆27Updated last month
- Learn online intrinsic rewards from LLM feedback☆35Updated 3 months ago
- Code for reproducing our paper "Not All Language Model Features Are Linear"☆73Updated 4 months ago
- Harmonic Datasets☆37Updated 8 months ago
- Code release for "Debating with More Persuasive LLMs Leads to More Truthful Answers"☆103Updated last year
- ☆13Updated last week
- Q-Probe: A Lightweight Approach to Reward Maximization for Language Models☆41Updated 9 months ago
- Code for minimum-entropy coupling.☆31Updated 9 months ago
- An Open-Ended Agentic Simulator☆45Updated 7 months ago
- Redwood Research's transformer interpretability tools☆14Updated 2 years ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆76Updated 3 weeks ago
- Intelligent Go-Explore: Standing on the Shoulders of Giant Foundation Models☆54Updated last month
- A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning☆101Updated this week
- Repository for the paper Stream of Search: Learning to Search in Language☆142Updated 2 months ago
- Repository for the code of the "PPL-MCTS: Constrained Textual Generation Through Discriminator-Guided Decoding" paper, NAACL'22☆64Updated 2 years ago
- Evaluation of neuro-symbolic engines☆35Updated 8 months ago
- ☆67Updated 2 months ago
- ☆21Updated 2 months ago
- ☆26Updated 11 months ago
- A dataset of alignment research and code to reproduce it☆76Updated last year
- General-Sum variant of the game Diplomacy for evaluating AIs.☆28Updated last year
- Learning Universal Predictors☆73Updated 8 months ago
- Sparse and discrete interpretability tool for neural networks☆60Updated last year
- Dataset and benchmark for assessing LLMs in translating natural language descriptions of planning problems into PDDL☆48Updated 5 months ago
- Generative cellular automaton-like learning environments for RL.☆19Updated 2 months ago
- Investigating the generalization behavior of LM probes trained to predict truth labels: (1) from one annotator to another, and (2) from e…☆26Updated 10 months ago