research
∙
03/27/2023
Exploring Continual Learning of Diffusion Models
Diffusion models have achieved remarkable success in generating high-qua...
share
research
∙
03/08/2023
Magnushammer: A Transformer-based Approach to Premise Selection
Premise selection is a fundamental problem of automated theorem proving....
research
∙
11/29/2022
The Surprising Effectiveness of Latent World Models for Continual Reinforcement Learning
We study the use of model-based reinforcement learning methods, in parti...
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
∙
12/16/2020
