research
∙
03/08/2023
Magnushammer: A Transformer-based Approach to Premise Selection
Premise selection is a fundamental problem of automated theorem proving....
share
research
∙
11/24/2022
Trust Your ∇: Gradient-based Intervention Targeting for Causal Discovery
Inferring causal structure from data is a challenging task of fundamenta...
research
∙
09/28/2022
Disentangling Transfer in Continual Reinforcement Learning
The ability of continual learning systems to transfer knowledge from pre...
research
∙
06/01/2022
Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search
Complex reasoning problems contain states that vary in the computational...
research
∙
11/30/2021
Continuous Control With Ensemble Deep Deterministic Policy Gradients
The growth of deep reinforcement learning (RL) has brought multiple exci...
research
∙
11/11/2021
Catalytic Role Of Noise And Necessity Of Inductive Biases In The Emergence Of Compositional Communication
Communication is compositional if complex signals can be represented as ...
research
∙
08/25/2021
Subgoal Search For Complex Reasoning Tasks
Humans excel in solving complex reasoning tasks through a mental process...
research
∙
05/23/2021
Continual World: A Robotic Benchmark For Continual Reinforcement Learning
Continual learning (CL) – the ability to continuously learn, building on...
research
∙
12/19/2019
Uncertainty-sensitive Learning and Planning with Ensembles
We propose a reinforcement learning framework for discrete environments ...
research
∙
10/04/2019
