research
∙
09/19/2023
Language Modeling Is Compression
It has long been established that predictive models can be transformed i...
share
research
∙
07/31/2023
Line Search for Convex Minimization
Golden-section search and bisection search are the two main principled a...
research
∙
05/26/2023
Levin Tree Search with Context Models
Levin Tree Search (LTS) is a search algorithm that makes use of a policy...
research
∙
02/06/2023
Memory-Based Meta-Learning on Non-Stationary Distributions
Memory-based meta-learning is a technique for approximating Bayes-optima...
research
∙
12/29/2021
Isotuning With Applications To Scale-Free Online Learning
We extend and combine several tools of the literature to design fast, ad...
research
∙
12/20/2021
Proving Theorems using Incremental Learning and Hindsight Experience Replay
Traditional automated theorem provers for first-order logic depend on sp...
research
∙
03/21/2021
Policy-Guided Heuristic Search with Guarantees
The use of a policy and a heuristic function for guiding search can be q...
research
∙
03/05/2021
Training a First-Order Theorem Prover from Synthetic Data
A major challenge in applying machine learning to automated theorem prov...
research
∙
10/15/2020
Avoiding Side Effects By Considering Future Tasks
Designing reward functions is difficult: the designer has to specify wha...
research
∙
06/22/2020
Logarithmic Pruning is All You Need
The Lottery Ticket Hypothesis is a conjecture that every large neural ne...
research
∙
06/19/2020
Learning to Prove from Synthetic Theorems
A major challenge in applying machine learning to automated theorem prov...
research
∙
04/28/2020
Pitfalls of learning a reward function online
In some agent designs like inverse reinforcement learning an agent needs...
research
∙
07/30/2019
Iterative Budgeted Exponential Search
We tackle two long-standing problems related to re-expansions in heurist...
research
∙
06/07/2019
Zooming Cautiously: Linear-Memory Heuristic Search With Node Expansion Guarantees
We introduce and analyze two parameter-free linear-memory tree search al...
research
∙
01/11/2019
An investigation of model-free planning
The field of reinforcement learning (RL) is facing increasingly challeng...
research
∙
01/08/2019
Soft-Bayes: Prod for Mixtures of Experts with Log-Loss
We consider prediction with expert advice under the log-loss with the go...
research
∙
11/27/2018
Single-Agent Policy Tree Search With Guarantees
We introduce two novel tree search algorithms that use a policy to guide...
research
∙
06/04/2018
Measuring and avoiding side effects using relative reachability
How can we design reinforcement learning agents that avoid causing unnec...
research
∙
05/31/2018
Agents and Devices: A Relative Definition of Agency
According to Dennett, the same system may be described using a `physical...
research
∙
11/27/2017
AI Safety Gridworlds
We present a suite of reinforcement learning environments illustrating v...
research
∙
05/23/2017
Reinforcement Learning with a Corrupted Reward Channel
No real-world reward function is perfect. Sensory errors and software bu...
research
∙
02/25/2016
