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
- ☆128Updated 3 months ago
- Interpreting how transformers simulate agents performing RL tasks☆77Updated last year
- ☆61Updated 3 weeks ago
- Redwood Research's transformer interpretability tools☆14Updated 2 years ago
- ☆50Updated 4 months ago
- ☆49Updated last year
- Learn online intrinsic rewards from LLM feedback☆34Updated 2 months ago
- ☆12Updated this week
- Evaluation of neuro-symbolic engines☆34Updated 6 months ago
- Documentation for dynamic machine learning systems.☆29Updated 5 months ago
- ☆79Updated 7 months ago
- Learning Universal Predictors☆74Updated 6 months ago
- Probabilistic programming with HuggingFace language models☆97Updated this week
- A Mechanistic Interpretability Analysis of Grokking☆21Updated 2 years ago
- Harmonic Datasets☆36Updated 7 months ago
- ☆12Updated 7 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆53Updated 2 months ago
- Code release for "Debating with More Persuasive LLMs Leads to More Truthful Answers"☆100Updated 11 months ago
- ☆123Updated last year
- Can Language Models Solve Olympiad Programming?☆110Updated last month
- Language-annotated Abstraction and Reasoning Corpus☆82Updated last year
- The repository contains code for Adaptive Data Optimization☆20Updated 2 months ago
- Intrinsic Motivation from Artificial Intelligence Feedback☆127Updated last year
- Code for minimum-entropy coupling.☆31Updated 7 months ago
- Supplementary Data for Evolving Reinforcement Learning Algorithms☆46Updated 3 years ago
- A benchmark for evaluating learning agents based on just language feedback☆66Updated 4 months ago
- Repository for the code of the "PPL-MCTS: Constrained Textual Generation Through Discriminator-Guided Decoding" paper, NAACL'22☆64Updated 2 years ago
- ☆24Updated this week